Sciweavers

1655 search results - page 53 / 331
» State, Event, Time and Diagram in System Modeling
Sort
View
ICCAD
1998
IEEE
83views Hardware» more  ICCAD 1998»
13 years 11 months ago
Lazy transition systems: application to timing optimization of asynchronous circuits
This paper introduces Lazy Transitions Systems (LzTSs). The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. LzT...
Jordi Cortadella, Michael Kishinevsky, Alex Kondra...
CSB
2005
IEEE
130views Bioinformatics» more  CSB 2005»
14 years 1 months ago
iSimBioSys: An "In Silico" Discrete Event Simulation Framework for Modeling Biological Systems
The genome projects have provided comprehensive information about the basic building blocks of life. The next challenge is to understand how biological functions emerge from compl...
Samik Ghosh, Preetam Ghosh, Kalyan Basu, Sajal K. ...
SSS
2005
Springer
119views Control Systems» more  SSS 2005»
14 years 1 months ago
Self-stabilization of Byzantine Protocols
Awareness of the need for robustness in distributed systems increases as distributed systems become integral parts of day-to-day systems. Self-stabilizing while tolerating ongoing ...
Ariel Daliot, Danny Dolev
IPPS
2007
IEEE
14 years 1 months ago
Using Speed Diagrams for Symbolic Quality Management
We present a quality management method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions are unkno...
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifa...
CLEAR
2007
Springer
142views Biometrics» more  CLEAR 2007»
14 years 1 months ago
An HMM Based System for Acoustic Event Detection
Abstract. This paper deals with the CLEAR 2007 evaluation on the detection of acoustic events which happen during seminars or meetings The implemented system consists in a front-en...
Christian Zieger