45 search results - page 9 / 9 » Benchmarking the Dependability of Different OLTP Systems |
LCPC
2005
Springer
13 years 10 months ago
2005
Springer
Thread-level speculation (TLS) allows potentially dependent threads to speculatively execute in parallel, thus making it easier for the compiler to extract parallel threads. Howeve...
IEEEPACT
2006
IEEE
13 years 11 months ago
2006
IEEE
Modeling and analysis of program behavior are at the foundation of computer system design and optimization. As computer systems become more adaptive, their efficiency increasingly...
ISLPED
1997
ACM
13 years 9 months ago
1997
ACM
The energy consumption of a system depends upon the hardware and software component of a system. Since it is the software which drives the hardware in most systems, decisions take...
DAC
2006
ACM
14 years 6 months ago
2006
ACM
Design space exploration during high level synthesis is often conducted through ad-hoc probing of the solution space using some scheduling algorithm. This is not only time consumi...
ISSTA
2009
ACM
13 years 11 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...