3451 search results - page 284 / 691 » The Architecture and Implementation of Resource Space Model ... |
184
click to vote
STTT
2011
15 years 1 months ago
2011
We present algorithms for parallel probabilistic model checking on general purpose graphic processing units (GPGPUs). Our improvements target the numerical components of the tradit...
209
click to vote
DEXAW
2005
IEEE
16 years 8 days ago
2005
IEEE
As the complexity of computing systems steadily increases, self-managing systems – as Autonomic Computing Systems (ACS) proposed by IBM – are an adequate approach to minimize ...
171
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
The paper presents an algorithm to determine the close-tosmallest possible data buffer sizes for arbitrary synchronous data flow (SDF) applications, such that we can guarantee the...
186
Voted
HCW
1999
IEEE
15 years 11 months ago
1999
IEEE
Distributed applications execute in environments that can include different network architectures as well as a range of compute platforms. Furthermore, these resources are shared ...
159
click to vote
CIDR
2007
15 years 8 months ago
2007
This paper introduces the CondorJ2 cluster management system. Traditionally, cluster management systems such as Condor employ a process-oriented approach with little or no use of ...