667 search results - page 7 / 134 » A Framework for Embedded Real-Time System Design |
ANSS
2008
IEEE
15 years 6 months ago
2008
IEEE
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
GLVLSI
1997
IEEE
15 years 3 months ago
1997
IEEE
CSE
2009
IEEE
15 years 2 months ago
2009
IEEE
105
click to vote
RTAS
2006
IEEE
15 years 5 months ago
2006
IEEE
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...