7580 search results - page 149 / 1516 » Prometheus design tool |
246
click to vote
ACL2
2006
ACM
15 years 7 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
140
click to vote
COMMA
2008
15 years 5 months ago
2008
This paper formulates in the first part some requirements for a certain sort of computational argumentation systems, namely those which are designed for a very specific purpose: to...
147
click to vote
CG
1999
Springer
15 years 3 months ago
1999
Springer
Business process re-engineering is becoming a main focus in today's efforts to overcome problems and deficits in the automotive and aerospace industries (e.g., integration in...
125
click to vote
VIS
2004
IEEE
16 years 5 months ago
2004
IEEE
ImageSurfer is a tool designed to explore correlations between two 3D scalar fields. Our scientific goal was to determine where a protein is located, and how much its concentratio...
166
Voted
VLSID
2008
IEEE
16 years 4 months ago
2008
IEEE
Simultaneous Multi-Threading (SMT) processors are becoming popular because they exploit both instruction-level and threadlevel parallelism by issuing instructions from different t...