Sciweavers

2595 search results - page 62 / 519
» Modes in Asynchronous Systems
Sort
View
FM
1997
Springer
126views Formal Methods» more  FM 1997»
15 years 10 months ago
Reconciling Real-Time with Asynchronous Message Passing
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...
Manfred Broy, Radu Grosu, Cornel Klein
ACSD
2001
IEEE
121views Hardware» more  ACSD 2001»
15 years 9 months ago
A structural encoding technique for the synthesis of asynchronous circuits
This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such ...
Josep Carmona, Jordi Cortadella, Enric Pastor
HYBRID
2000
Springer
15 years 9 months ago
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...
Peter Niebert, Sergio Yovine
AMDO
2006
Springer
15 years 10 months ago
Principal Spine Shape Deformation Modes Using Riemannian Geometry and Articulated Models
We present a method to extract principal deformation modes from a set of articulated models describing the human spine. The spine was expressed as a set of rigid transforms that su...
Jonathan Boisvert, Xavier Pennec, Hubert Labelle, ...
ISLPED
2004
ACM
123views Hardware» more  ISLPED 2004»
15 years 11 months ago
An efficient voltage scaling algorithm for complex SoCs with few number of voltage modes
Increasing demand for larger high-performance applications requires developing more complex systems with hundreds of processing cores on a single chip. To allow dynamic voltage sc...
Bita Gorjiara, Nader Bagherzadeh, Pai H. Chou