85 search results - page 16 / 17 » Speculation for Parallelizing Runtime Checks |
EDOC
2002
IEEE
13 years 11 months ago
2002
IEEE
This paper addresses the problem of transforming natural language descriptions of contracts into a form that is suitable for automating various contract management functions. We i...
PPOPP
2009
ACM
14 years 6 months ago
2009
ACM
Load balancing is a technique which allows efficient parallelization of irregular workloads, and a key component of many applications and parallelizing runtimes. Work-stealing is ...
ICS
2007
Tsinghua U.
14 years 12 days ago
2007
Tsinghua U.
Overlapping communication with computation is an important optimization on current cluster architectures; its importance is likely to increase as the doubling of processing power ...
AADEBUG
2005
Springer
13 years 11 months ago
2005
Springer
Reprogrammable hardware systems are traditionally very difficult to debug due to their high level of parallelism. In our solution to this problem, features are inserted into the u...
CONCUR
2004
Springer
13 years 11 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...