159 search results - page 13 / 32 » Specified Blocks |
DAC
2008
ACM
16 years 23 days ago
2008
ACM
Since process and environmental variations can no longer be ignored in high-performance microprocessor designs, it is necessary to develop techniques for computing the sensitiviti...
WWW
2005
ACM
16 years 13 days ago
2005
ACM
Semantic caching is an important technology for improving the response time of future user queries specified over remote servers. This paper deals with the fundamental query conta...
193
click to vote
POPL
2006
ACM
16 years 2 days ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
FSEN
2007
Springer
15 years 6 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
108
click to vote
DFN
2004
15 years 1 months ago
2004
: In this paper we propose a Grid Workflow Infrastructure, which serves as the base for specifying and executing collaborative interactive workflows within computational grids. The...