2943 search results - page 414 / 589 » Software Implementation of Synchronous Programs |
138
click to vote
TSE
2010
15 years 3 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
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...
143
click to vote
ASPLOS
2000
ACM
15 years 9 months ago
2000
ACM
We systematically evaluate the performance of five implementations of a single, user-level communication interface. Each implementation makes different architectural assumptions ...
143
Voted
FSE
2006
Springer
15 years 8 months ago
2006
Springer
This paper studies the state-of-the-art software optimization methodology for symmetric cryptographic primitives on the new 64-bit x64 processors, AMD Athlon64 (AMD64) and Intel Pe...
175
click to vote
ESOP
2012
Springer
14 years 16 days ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...