564 search results - page 91 / 113 » Runtime Verification of C Programs |
142
click to vote
SOSP
2009
ACM
16 years 1 months ago
2009
ACM
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...
148
click to vote
ICPPW
2009
IEEE
15 years 11 months ago
2009
IEEE
— Cell Superscalar (CellSs) provides a simple, flexible and easy programming approach for the Cell Broadband Engine (Cell/B.E.) that automatically exploits the inherent concurre...
142
click to vote
IWOMP
2009
Springer
15 years 11 months ago
2009
Springer
OpenMP relies heavily on barrier synchronization to coordinate the work of threads that are performing the computations in a parallel region. A good implementation of barriers is ...
153
click to vote
ICPP
2008
IEEE
15 years 11 months ago
2008
IEEE
Solving large, irregular graph problems efficiently is challenging. Current software systems and commodity multiprocessors do not support fine-grained, irregular parallelism wel...
153
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
Scripting is a powerful, high-level, cross-platform, dynamic, easy way of composing software modules as black boxes. Unfortunately, the high runtime overhead has prevented scripti...