Sciweavers

1425 search results - page 62 / 285
» Distributed Development of Complex Software Systems with Obj...
Sort
View
117
Voted
IPPS
1999
IEEE
15 years 6 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 ...
112
Voted
IPPS
2003
IEEE
15 years 7 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, ...
119
Voted
ESM
2000
15 years 3 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...
140
Voted
ICFEM
1997
Springer
15 years 6 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
121
Voted
ISPAN
2009
IEEE
15 years 8 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, ...