4418 search results - page 561 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
224
click to vote
ATC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...
207
click to vote
CBSE
2004
Springer
16 years 3 days ago
2004
Springer
In this paper we report on a case study of correct automatic assembly of software components. We show the application of our tool (called Synthesis) for correct components assembly...
228
click to vote
ICDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
With the increasing complexity of large-scale distributed (LSD) systems, an efficient monitoring mechanism has become an essential service for improving the performance and reliab...
173
click to vote
IPPS
2005
IEEE
16 years 9 days ago
2005
IEEE
Power consumption is a troublesome design constraint for emergent systems such as IBM’s BlueGene /L. If current trends continue, future petaflop systems will require 100 megawat...
203
click to vote
ICDCS
2009
IEEE
16 years 3 months ago
2009
IEEE
To observe, analyze and control large scale distributed systems and the applications hosted on them, there is an increasing need to continuously monitor performance attributes of ...