2512 search results - page 159 / 503 » Software Transactional Memory |
EMSOFT
2010
Springer
13 years 8 months ago
2010
Springer
We propose the first polynomial-time code selection algorithm for minimising the worst-case execution time of a nonnested loop executed on a fully pipelined processor that uses sc...
DAC
2011
ACM
12 years 10 months ago
2011
ACM
Modern processor architectures call for software that is highly tuned to an unpredictable operating environment. Processlevel virtualization systems allow existing software to ada...
GLOBECOM
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— Software routers are becoming an important alternative to proprietary and expensive network devices, because they exploit the economy of scale of the PC market and open...
CODES
2006
IEEE
14 years 4 months ago
2006
IEEE
Process variability has a detrimental impact on the performance of memories and other system components, which can lead to parametric yield loss at the system level due to timing ...
FASE
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...