1366 search results - page 217 / 274 » Modularizing Contexted Constraints |
156
click to vote
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
Thread level speculation (TLS) has shown great promise as a strategy for fine to medium grain automatic parallelisation, and in a hardware context techniques to ensure correct TLS...
104
click to vote
OTM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Between high-performance clusters and grids appears an intermediate infrastructure called cluster grid that corresponds to the interconnection of clusters through the Int...
133
click to vote
SOCO
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In addition to publishing composite services as reusable services, compositions can also be reused by applying them to orchestrate different component services. To do so...
137
click to vote
WCC
2005
Springer
15 years 8 months ago
2005
Springer
In this paper, we describe a broad class of problems arising in the context of designing codes for DNA computing. We primarily focus on design considerations pertaining to the phen...
107
click to vote
BPM
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we introduce a workflow-oriented system architecture for the processing of client requests (CRs) for container transportation. In the context of multi-transfer conta...