Sciweavers

3218 search results - page 270 / 644
» Timed Extensions for SDL
Sort
View
ACSD
2005
IEEE
169views Hardware» more  ACSD 2005»
16 years 6 days ago
Automating Synthesis of Asynchronous Communication Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
Jordi Cortadella, Kyller Costa Gorgônio, Fei...
CW
2005
IEEE
16 years 6 days ago
Function-based Time-dependent Shape Modeling on the Web
In this paper we propose FVRML—a function-based extension of Virtual Reality Modeling Language which allows for time-dependent shape modeling on the web. Shape’s geometry, 3D ...
Qi Liu, Alexei Sourin
DATE
2005
IEEE
169views Hardware» more  DATE 2005»
16 years 6 days ago
Design Optimization of Time-and Cost-Constrained Fault-Tolerant Distributed Embedded Systems
In this paper we present an approach to the design optimization of faulttolerant embedded systems for safety-critical applications. Processes are statically scheduled and communic...
Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Pe...
DSD
2005
IEEE
106views Hardware» more  DSD 2005»
16 years 6 days ago
Power-Constrained Hybrid BIST Test Scheduling in an Abort-on-First-Fail Test Environment
1 This paper presents a method for power-constrained system-on-chip test scheduling in an abort-on-first-fail environment where the test is terminated as soon as a fault is detecte...
Zhiyuan He, Gert Jervan, Zebo Peng, Petru Eles
ICMCS
2005
IEEE
130views Multimedia» more  ICMCS 2005»
16 years 5 days ago
On Compensation Technique in Multimedia Streaming System
We describe a compensation method for real-time multimedia streaming to improve the user-perceived quality of video. Based on TCP Friendly Rate Control (TFRC), this method takes a...
Yongfeng Li, Kenneth Ong