184 search results - page 25 / 37 » Testing Distributed Systems Through Symbolic Model Checking |
WCE
2007
13 years 8 months ago
2007
The purpose of the air distribution system in a fluidised bed combustor is to provide a reasonably uniform spread of combustion air over the entire horizontal cross-sectional area...
JUCS
2006
13 years 7 months ago
2006
Abstract: Most modern computer applications should run on heterogeneous platforms and, moreover, objects and respective code should be easily interchangeable between distinct platf...
PDP
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents a high-level approach for assessing the performance behavior of complex scientific applications running on a high-performance system through simulation. The pr...
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...
TIFS
2008
13 years 7 months ago
2008
Abstract--Distributed detection of information flows is considered in which traffic sensors at different locations of a network observe transmission epochs. The traffic sensors com...