Sciweavers

136 search results - page 8 / 28
» ipps 2002
Sort
View
IPPS
2002
IEEE
14 years 16 days ago
An Approach to Compositional Model Checking
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
Hector A. Andrade, Beverly Sanders
IPPS
2002
IEEE
14 years 16 days ago
Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...
John O'Donnell
IPPS
2002
IEEE
14 years 16 days ago
Research and Design of a Middleware for Supporting Wide-Area Distributed Applications
As the platform for wide-area distributed applications, the middleware architecture should support adaptability, scalability, mobility, reliability and security. However, current ...
Dong Zhao, Shaowen Yao, Mingtian Zhou
IPPS
2002
IEEE
14 years 16 days ago
Distributed Dynamic Scheduling of Composite Tasks on Grid Computing Systems
This paper examines the issue of dynamically scheduling applications on a wide-area network computing system. We construct a simulation model for wide-area task allocation problem...
Hongtu Chen, Muthucumaru Maheswaran
IPPS
2002
IEEE
14 years 16 days ago
Improving the Performance of Distributed CORBA Applications
This paper proposes a new technique called CORBAas-needed to improve the performance of distributed CORBA applications. CORBA-as-needed allows distributed CORBA applications to ï¬...
Shivakant Mishra, Nija Shi