Sciweavers

1425 search results - page 62 / 285
» Distributed Development of Complex Software Systems with Obj...
Sort
View
IPPS
1999
IEEE
14 years 1 months ago
A Formal Framework for Specifying and Verifying Time Warp Optimizations
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
Victoria Chernyakhovsky, Peter Frey, Radharamanan ...
IPPS
2003
IEEE
14 years 2 months ago
MUSE: A Software Oscilloscope for Clusters and Grids
Oscilloscopes and their cousins, logic analyzers, are the tools of choice for difficult electronic hardware problems. In the hands of a skilled engineer or technician, these tool...
Mark K. Gardner, Michael Broxton, Adam Engelhart, ...
ESM
2000
13 years 10 months ago
Multi-agent architecture for distributed simulation: Teaching application for industrial management
We are located in the context of the simulation of complex industrial systems, which are distributed in geographical, decisional and informational terms. This paper is divided int...
Stéphane Galland, Frédéric Gr...
ICFEM
1997
Springer
14 years 1 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
ISPAN
2009
IEEE
14 years 3 months ago
Cyberaide Creative: On-Demand Cyberinfrastructure Provision in Clouds
As demand for grid and cloud computing solutions increases, the need for user oriented software to provide access to theses resources also increases. Until recently the use of com...
Casey Rathbone, Lizhe Wang, Gregor von Laszewski, ...