1163 search results - page 182 / 233 » Case Studies of Model Checking for Embedded System Designs |
132
Voted
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents an automated software tool SQUARE (Software QUality and ARchitecture modelling Environment). It is designed and implemented to support the analysis of software...
145
click to vote
TECS
2008
15 years 4 months ago
2008
straction SUDEEP PASRICHA and NIKIL DUTT University of California, Irvine and MOHAMED BEN-ROMDHANE Newport Media Inc. Currently, system-on-chip (SoC) designs are becoming increasin...
157
click to vote
EH
2004
IEEE
15 years 7 months ago
2004
IEEE
The use of Application Specific Instruction-set Processors (ASIP) in embedded systems is a solution to the problem of increasing complexity in the functions these systems have to ...
134
click to vote
ICCAD
2002
IEEE
16 years 29 days ago
2002
IEEE
— The communication sub-system of complex IC systems is increasingly critical for achieving system performance. Given this, it is important that the on-chip communication archite...
145
click to vote
RE
2008
Springer
15 years 3 months ago
2008
Springer
For several decades there has been a debate in the computing sciences about the relative roles of design and empirical research, and about the contribution of design and research ...