772 search results - page 97 / 155 » Direct manipulation interface for architectural design tools |
PVM
2007
Springer
15 years 6 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
DAC
2008
ACM
16 years 25 days ago
2008
ACM
This paper presents a RTR FPGA embedded in a System on Chip fabricated in 130nm CMOS process. Various aspects of the design flow, from automation to floor-planning are discussed. ...
ISLPED
1996
ACM
15 years 4 months ago
1996
ACM
The growing demand for portable electronic devices has led to an increased emphasis on power consumption within the semiconductor industry. As a result, designers are now encourag...
CHI
2010
ACM
15 years 6 months ago
2010
ACM
Managing personal aspects of health is challenging for many patients, particularly those facing a serious condition such as cancer. Finding experienced patients, who can share the...
CHI
2011
ACM
14 years 3 months ago
2011
ACM
Numerous applications such as simulations, air traffic control systems, and video surveillance systems are inherently composed of spatial objects that move in a scene. In many ins...