First Page | Document Content | |
---|---|---|
![]() Date: 2009-07-31 06:28:45Computer programming Concurrency control Parallel computing C POSIX library POSIX Threads Concurrency Monitor Reentrancy Lock Computing Concurrent computing Threads | Source URL: omniorb.sourceforge.netDownload Document from Source WebsiteFile Size: 93,36 KBShare Document on Facebook |
![]() | Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1DocID: 1xVYz - View Document |
![]() | C/C++ Concurrency: Formalization and Model Finding Mark Batty Jasmin Blanchette Susmit Sarkar Peter SewellDocID: 1xVyg - View Document |
![]() | SDNRacer: Detecting Concurrency Violations in Software-Defined NetworksDocID: 1xVts - View Document |
![]() | SDNRacer: Detecting Concurrency Violations in Software-Defined NetworksDocID: 1xUY7 - View Document |
![]() | SDNRacer Concurrency Analysis for SDNs Ahmed El-Hassany Jeremie Miserez Pavol Bielik Laurent VanbeverDocID: 1xUyW - View Document |