1264 search results - page 87 / 253 » Designing Safe, Reliable Systems using Scade |
121
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
Exploring a large portion of the microprocessor design space requires the rapid development of efficient simulators. While some systems support rapid model development through the...
166
Voted
POPL
2012
ACM
14 years 3 days ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
142
Voted
HASE
1998
IEEE
15 years 8 months ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
134
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Chip-package thermal analysis is necessary for the design and synthesis of reliable, high-performance, low-power, compact integrated circuits (ICs). Many methods of IC ...
151
click to vote
DAC
2003
ACM
15 years 9 months ago
2003
ACM
To improve the system performance, designs with multiple clocks have become more and more popular. In this paper, several novel test generation procedures are proposed to utilize ...