120 search results - page 20 / 24 » Instructor Selector Generation from Architecture Description |
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
FCCM
1998
IEEE
15 years 1 months ago
1998
IEEE
E cient, deeply pipelined implementations exist for a wide variety of important computation-intensive applications, and many special-purpose hardware machines have been built that...
ENTCS
2007
14 years 9 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
DAC
2007
ACM
15 years 10 months ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
106
click to vote
CORR
2011
Springer
14 years 1 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...