2259 search results - page 120 / 452 » Addressing Mode Selection |
109
Voted
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
—Bug-free first silicon is not guaranteed by the existing pre-silicon verification techniques. To have impeccable products, it is now required to identify any bug as soon as the ...
128
Voted
LPAR
2001
Springer
15 years 7 months ago
2001
Springer
The EPGY Theorem-Proving Environment is designed to help students write ordinary mathematical proofs. The system, used in a selection of computer-based proof-intensive mathematics ...
113
click to vote
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
122
Voted
ITICSE
2000
ACM
15 years 7 months ago
2000
ACM
Network-based distributed education is a reality today. At George Mason University, we have been pursuing a capability beyond the widespread practice of supporting courses with we...
133
Voted
EUROMICRO
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...