Sciweavers

667 search results - page 7 / 134
» A Framework for Embedded Real-Time System Design
Sort
View
GLVLSI
1997
IEEE
115views VLSI» more  GLVLSI 1997»
13 years 11 months ago
Hardware interface design for real time embedded systems
Adel Baganne, Jean Luc Philippe, Eric Martin
CSE
2009
IEEE
13 years 10 months ago
On the Design of Flexible Real-Time Schedulers for Embedded Systems
Hugo Marcondes, Rafael Luiz Cancian, Marcelo R. St...
RTAS
2006
IEEE
14 years 1 months ago
An Interface Algebra for Real-Time Components
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
Thomas A. Henzinger, Slobodan Matic