2943 search results - page 340 / 589 » Software Implementation of Synchronous Programs |
151
click to vote
IEEEPACT
2009
IEEE
15 years 26 days ago
2009
IEEE
Transactional memory is being advanced as an alternative to traditional lock-based synchronization for concurrent programming. Transactional memory simplifies the programming mode...
144
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
120
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...
156
click to vote
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically de...
144
click to vote
DSN
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we present a new fault injection tool called GOOFI (Generic Object-Oriented Fault Injection). GOOFI is designed to be adaptable to various target systems and differ...