13591 search results - page 197 / 2719 » On the Implementation of Dynamic Evaluation |
194
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
150
click to vote
ASPLOS
2006
ACM
16 years 18 days ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
174
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
This paper introduces a new way to provide strong atomicity in an implementation of transactional memory. Strong atomicity lets us offer clear semantics to programs, even if they ...
189
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
147
click to vote
LCPC
2007
Springer
16 years 23 days ago
2007
Springer
This paper describes the implementation of a runtime library for asynchronous communication in the Cell BE processor. The runtime library implementation provides with several servi...