181 search results - page 7 / 37 » A Mechanism for Verifying Data Speculation |
156
click to vote
IHIS
2005
ACM
15 years 7 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
121
click to vote
PPDP
2007
Springer
15 years 7 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
123
click to vote
CVPR
2007
IEEE
16 years 3 months ago
2007
IEEE
We present an approach for object recognition that combines detection and segmentation within a efficient hypothesize/test framework. Scanning-window template classifiers are the ...
103
click to vote
SIAMCOMP
2008
15 years 1 months ago
2008
XML specifications often consist of a type definition (typically, a DTD) and a set of integrity constraints. It has been shown previously that such specifications can be inconsiste...
111
click to vote
HPCA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose Runahead Threads (RaT) as a valuable solution for both reducing resource contention and exploiting memory-level parallelism in Simultaneous Multithreaded...