4074 search results - page 391 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
221
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
We describe an architectural design space exploration methodology that minimizes the energy dissipation of digital circuits. The centerpiece of our methodology is a Verilog-based ...
203
click to vote
ICIAP
2009
ACM
16 years 7 months ago
2009
ACM
Abstract. Being able to find the silhouette of an object is a very important front-end processing step for many high-level computer vision techniques, such as Shape-from-Silhouette...
199
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Mass-spring systems are of special interest for soft tissue modeling in surgical simulation due to their ease of implementation and real-time behavior. However, the parameter ident...
175
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Model checking algorithms can report a property as being true for reasons that may be considered vacuous. Current algorithms for detecting vacuity require either checking a quadrat...
174
click to vote
ACSD
2008
IEEE
15 years 8 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...