553 search results - page 42 / 111 » Verified, Executable Parsing |
EUROSYS
2011
ACM
13 years 7 days ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
ICDE
2006
IEEE
14 years 10 months ago
2006
IEEE
In this paper, we propose DBSampler, a query execution mechanism to answer "partial selection" queries in peerto-peer databases. A partial selection query is an arbitrar...
WIMOB
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—The adoption of new hardware and software architectures will make future generations of pervasive devices more flexible and extensible. Networks of computational nodes ...
VLSI
2007
Springer
14 years 2 months ago
2007
Springer
Replacing functional units of an extensible processor with reconfigurable functional units enhances performance and flexibility of processors to execute custom instructions. That ...
IAT
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper a cognitive model for visual attention is introduced. The cognitive model is part of the design of a software agent that supports a naval warfare officer in its task...