Sciweavers

208 search results - page 10 / 42
» ipps 2003
Sort
View
IPPS
2003
IEEE
15 years 3 months ago
Towards a Theory of Bisimulation for a Fragment of Verilog
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
Li Yongjian, Jifeng He
IPPS
2003
IEEE
15 years 3 months ago
Reconfigurable Architecture Requirements for Co-Designed Virtual Machines
This paper addresses the physical hardware requirements necessary for a co-design hardware/software virtual machine to not only exist, but to also provide comparable performance w...
Kenneth B. Kent, Micaela Serra
IPPS
2003
IEEE
15 years 3 months ago
An Approach to Heterogeneous Process State Capture/Recovery to Achieve Minimum Performance Overhead During Normal Execution
A major issue of process state capture in heterogeneous computing systems is capture initiation. Current approaches incur significant performance overhead during normal execution ...
Prashanth P. Bungale, Swaroop Sridhar, Vinay Krish...
91
Voted
IPPS
2003
IEEE
15 years 3 months ago
A UNITY-Based Formalism for Dynamic Distributed Systems
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...
Daniel M. Zimmerman
IPPS
2003
IEEE
15 years 3 months ago
CORBA Benchmarking: A Course with Hidden Obstacles
Numerous projects have evaluated the performance of CORBA middleware over the past decade. Interestingly, many of the published results are either gathered or analyzed imprecisely...
Adam Buble, Lubomír Bulej, Petr Tuma