9974 search results - page 1620 / 1995 » Software Interconnection Models |
202
click to vote
CODES
2006
IEEE
16 years 23 days 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...
175
click to vote
ISPASS
2006
IEEE
16 years 22 days ago
2006
IEEE
Current simulation-sampling techniques construct accurate model state for each measurement by continuously warming large microarchitectural structures (e.g., caches and the branch...
231
click to vote
LCTRTS
2005
Springer
16 years 6 days ago
2005
Springer
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...
178
click to vote
VMCAI
2005
Springer
16 years 6 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
229
click to vote
VSTTE
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...