3730 search results - page 480 / 746 » Robust design of embedded systems |
170
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
We challenge the widespread assumption that an embedded system’s functionality can be captured in a single specification and then partitioned among software and custom hardware ...
162
Voted
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Fast distributed cosimulation is a challenging problem for the embedded system design. The main theme of this paper is to increase simulation speed by reducing the frequency of in...
196
click to vote
FTDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
Cooperative Rooms (COR) is an interdisciplinary research and development program of GMD in collaboration with partners. Its objective is to design, develop and investigate future ...
184
click to vote
VLSID
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Microfluidics-based biochips are revolutionizing highthroughput sequencing, parallel immunoassays, clinical diagnostics, and drug discovery. These devices enable the pre...
181
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...