1163 search results - page 103 / 233 » Case Studies of Model Checking for Embedded System Designs |
133
click to vote
IWSSD
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
136
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Addressing both standby and active power is a major challenge in developing System-on-Chip designs for batterypowered products. Powering off sections of logic or memorie...
127
click to vote
WSC
1998
15 years 5 months ago
1998
Simulation at the machine-control level plays an important role in designing machine controls and operational specifications. Recently, there has been a considerable amount of wor...
148
Voted
WSC
1998
15 years 5 months ago
1998
This paper reports simulation methods and results for analyzing a self-adjusting Quality of Service (QoS) control scheme for multimedia/telecommunication systems based on resource...
115
click to vote
ISLPED
2000
ACM
15 years 8 months ago
2000
ACM
Memory-processor integration o ers new opportunities for reducing the energy of a system. In the case of embedded systems, one solution consists of mapping the most frequently acc...