Sciweavers

15840 search results - page 704 / 3168
» The Control of Synchronous Systems
Sort
View
192
Voted
DSRT
1999
IEEE
15 years 11 months ago
Simulation of Multimedia Systems Based on Actors and QoSsynchronizers
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
Giancarlo Fortino, Libero Nigro
ICECCS
1998
IEEE
161views Hardware» more  ICECCS 1998»
15 years 11 months ago
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
Christophe Aussaguès, Vincent David
192
Voted
ASPDAC
2007
ACM
82views Hardware» more  ASPDAC 2007»
15 years 11 months ago
Efficient BMC for Multi-Clock Systems with Clocked Specifications
- Current industry trends in system design -- multiple clocks, clocks with arbitrary frequency ratios, multi-phased clocks, gated clocks, and level-sensitive latches, combined with...
Malay K. Ganai, Aarti Gupta
CCGRID
2004
IEEE
15 years 11 months ago
A decentralized scheduler for distributed video streaming in a server-less video streaming system
Recently, a server-less video-on-demand architecture has been proposed to eliminate costly dedicated video servers and yet is highly scalable and reliable. However, because of the...
C. Y. Chan, Jack Y. B. Lee
UIST
1995
ACM
15 years 10 months ago
Social Activity Indicators: Interface Components for CSCW Systems
Knowing what social activity is occurring within and through a Computer-Supported Cooperative Work (CSCW) system is often very useful. This is especially true for computer-mediate...
Mark S. Ackerman, Brian Starr