1210 search results - page 149 / 242 » The Complexity Challenge in Embedded System Design |
128
click to vote
MICRO
2008
IEEE
15 years 4 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
131
click to vote
ICAC
2007
IEEE
15 years 10 months ago
2007
IEEE
System-S is a stream processing infrastructure which enables program fragments to be distributed and connected to form complex applications. There may be potentially tens of thous...
119
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
The energy-aware design for electronic systems has been an important issue in hardware and/or software implementations, especially for embedded systems. This paper targets a synth...
123
click to vote
ISSRE
2000
IEEE
15 years 8 months ago
2000
IEEE
Learning from software failures is an essential step towards the development of more reliable software systems and processes. However, as more intricate software systems are devel...
141
click to vote
RSP
2005
IEEE
15 years 10 months ago
2005
IEEE
Nowadays, Architecture Description Languages (ADLs) are getting popular to speed up the development of complex SoC design, by performing the design space explon a higher level of ...