308 search results - page 42 / 62 » Symbolic execution of data paths |
BMCBI
2005
13 years 9 months ago
2005
Background: Complex biological database systems have become key computational tools used daily by scientists and researchers. Many of these systems must be capable of executing on...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
As more and more multi-tier services are developed from commercial off-the-shelf components or heterogeneous middleware without source code available, both developers and administr...
MDM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract—In this paper we present MicroPulse, a novel framework for adapting the waking window of a sensing device S based on the data workload incurred by a query Q. Assuming a ...
DSN
2006
IEEE
14 years 3 months ago
2006
IEEE
Protecting the register value and its data buses is crucial to reliable computing in high-performance microprocessors due to the increasing susceptibility of CMOS circuitry to sof...
WMPI
2004
ACM
14 years 3 months ago
2004
ACM
High-performance out-of-order processors spend a significant portion of their execution time on the incorrect program path even though they employ aggressive branch prediction al...