970 search results - page 116 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
IPSN
2010
Springer
13 years 11 months ago
2010
Springer
In-network processing is recommended for many sensor network applications to reduce communication and improve energy efficiency. However, constraints on memory, speed, and energy ...
CCGRID
2006
IEEE
14 years 3 months ago
2006
IEEE
Making effective use of computational Grids requires scheduling Grid applications onto resources that best match them. Resource-related state (e.g., load, availability, and locati...
EUROSYS
2009
ACM
14 years 6 months ago
2009
ACM
This paper develops analytical models to predict the throughput and the response time of a replicated database using measurements of the workload on a standalone database. These m...
IFM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...