Sciweavers

15840 search results - page 575 / 3168
» The Control of Synchronous Systems
Sort
View
FOSSACS
2004
Springer
16 years 13 days ago
Electoral Systems in Ambient Calculi
This paper compares the expressiveness of ambient calculi against different dialects of the pi-calculus. Cardelli and Gordon encoded the asynchronous pi-calculus into their calcul...
Iain Phillips, Maria Grazia Vigliotti
WECWIS
1999
IEEE
149views ECommerce» more  WECWIS 1999»
15 years 11 months ago
An Advanced Multimedia Infrastructure for WWW-Based Information Systems
We present an advanced multimedia infrastructure that integrates continuous real-time media streams within the WWW. This new service architecture focuses on advanced facilities fo...
Franck Rousseau, Andrzej Duda
DAC
1996
ACM
15 years 11 months ago
Symphony: A Simulation Backplane for Parallel Mixed-Mode Co-Simulation of VLSI Systems
In this paper we present an integrated simulation paradigm in which parallel mixed-mode co-simulation is accomplished by integrating sequential simulators in a software simulation ...
Antonio R. W. Todesco, Teresa H. Y. Meng
DATE
2004
IEEE
173views Hardware» more  DATE 2004»
15 years 10 months ago
Supporting Cache Coherence in Heterogeneous Multiprocessor Systems
In embedded system-on-a-chip (SoC) applications, the need for integrating heterogeneous processors in a single chip is increasing. An important issue in integrating heterogeneous ...
Taeweon Suh, Douglas M. Blough, Hsien-Hsin S. Lee
EDO
2000
Springer
15 years 10 months ago
Using Model Checking to Detect Deadlocks in Distributed Object Systems
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
Nima Kaveh