929 search results - page 107 / 186 » Execution architectures for program algebra |
139
click to vote
MICRO
2010
IEEE
15 years 1 months ago
2010
IEEE
Advanced Synchronization Facility (ASF) is an AMD64 hardware extension for lock-free data structures and transactional memory. It provides a speculative region that atomically exec...
154
click to vote
EMSOFT
2011
Springer
14 years 3 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
253
click to vote
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
Extracting performance from many-core architectures requires software engineers to create multi-threaded applications, which significantly complicates the already daunting task of...
219
click to vote
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...
124
click to vote
TROB
2002
15 years 2 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...