3387 search results - page 40 / 678 » Model-Checking for Real-Time Systems |
IPPS
2003
IEEE
14 years 26 days ago
2003
IEEE
With the current trend in integration of more complex systems on chip there is a need for better communication infrastructure on chip that will increase the available bandwidth an...
COOPIS
2004
IEEE
13 years 11 months ago
2004
IEEE
Large scale distributed real time and embedded (DRE) applications are complex entities that are often composed of different subsystems and have stringent Quality of Service (QoS) r...
RSP
2002
IEEE
14 years 15 days ago
2002
IEEE
WORDS
2002
IEEE
14 years 15 days ago
2002
IEEE
RSP
2000
IEEE
13 years 12 months ago
2000
IEEE