1163 search results - page 155 / 233 » Case Studies of Model Checking for Embedded System Designs |
121
click to vote
IWSOC
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a case study of a single-chip 3G WCDMA/FDD basestation implementation based on a circuit-switched network on chip. As the amount of transistors on a chip conti...
146
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Currently, since many SoCs include heterogeneous components such as CPUs, DSPs, ASICs, memories, buses, etc., system integration becomes a major step in the design flow. To enable...
199
click to vote
DANCE
2002
IEEE
15 years 9 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
112
click to vote
DAWAK
2008
Springer
15 years 6 months ago
2008
Springer
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...
147
click to vote
BCSHCI
2009
15 years 5 months ago
2009
Hybrid surfaces are interactive systems combining techniques of direct-manipulation multi-touch surface interaction with elements of tangible user interfaces (TUIs). The design sp...