1
Published 2005
Table of Contents: ... Bandwidth -- A Heuristic for Scheduling Parallel Programs with Synchronous Communication Model...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Using Hybrid CPU-GPU Platforms to Accelerate the Computation of the Matrix Sign Function -- Modelling...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ...: Distributed Algorithms -- Building and Using Quorums Despite any Number of Process of Crashes -- Failure...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... -- Specifying Authentication Using Signal Events in CSP -- Modeling RFID Security -- Systems Security...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Associations of Urban Criminal Activities Using Hierarchical Crime Hot Spots -- VCCM Mining: Mining Virtual...
View full text
Electronic eBook