240 search results - page 22 / 48 » LUDE: A Distributed Software Library |
133
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
122
Voted
EUROSYS
2008
ACM
16 years 7 days ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
133
click to vote
ACSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
Instruction-set randomization (ISR) is a technique based on randomizing the "language" understood by a system to protect it from code-injection attacks. Such attacks wer...
147
click to vote
PC
2007
15 years 2 months ago
2007
The Sony–Toshiba–IBM Cell Broadband Engine (Cell/B.E.) is a heterogeneous multicore architecture that consists of a traditional microprocessor (PPE) with eight SIMD co-process...
146
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...