1605 search results - page 119 / 321 » Designing Parallel Operating Systems via Parallel Programmin... |
125
click to vote
CONCUR
2003
Springer
15 years 7 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
106
click to vote
PPOPP
2006
ACM
15 years 8 months ago
2006
ACM
Utility computing is becoming a popular way of exploiting the potential of computational grids. In utility computing, users are provided with computational power in a transparent ...
ECOOP
2006
Springer
15 years 6 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
133
Voted
SPDP
1993
IEEE
15 years 6 months ago
1993
IEEE
This paper examines how the performance of a shared-memory multiprocessor can be improved by including hardware support for block transfers. A system similar to the Hector multipr...
107
click to vote
ICDCSW
2006
IEEE
15 years 8 months ago
2006
IEEE
— Healthcare and economic drivers have increased the desire to deploy systems for continuous monitoring of patients, both in hospital and outpatient settings. Such systems must o...