1228 search results - page 83 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
199
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
170
click to vote
WSC
2001
15 years 7 months ago
2001
Discrete-event simulation is a common tool for the analysis of semiconductor manufacturing systems. With the aid of a simulation model, and in conjunction with sensitivity analysi...
190
click to vote
JSA
2008
15 years 5 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
128
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
Current tools for computer architecture design lack standard support for multi- and many-core development. We propose using circuit models to describe the multiple processor archi...
170
click to vote
DSD
2007
IEEE
16 years 21 days ago
2007
IEEE
Today energy is an important factor in designing a multiprocessor system. The overall goal of this work is to propose a methodology for design space exploration of VLIW multiproce...