3577 search results - page 336 / 716 » Multicore Resource Management |
124
click to vote
CADE
2001
Springer
16 years 5 months ago
2001
Springer
The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine...
185
click to vote
VEE
2009
ACM
15 years 11 months ago
2009
ACM
Virtualization essentially enables multiple operating systems and applications to run on one physical computer by multiplexing hardware resources. A key motivation for applying vi...
138
click to vote
ICAC
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a generic architecture for developing fullyfledged autonomic systems out of non-autonomic components, and investigate how the architecture can be implemented using exi...
114
click to vote
IMSCCS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper demonstrates a heterogeneous windows cluster system to obtain high performance computing (HPC) resources for medical image reconstruction applications. The communicatio...
153
click to vote
DMG
2005
Springer
15 years 10 months ago
2005
Springer
1 International collaborations now manage globally distributed data collections based on the data and trust virtualization mechanisms provided by the Storage Resource Broker data g...