7167 search results - page 1236 / 1434 » A Technique for Invariant Generation |
263
click to vote
CODES
2003
IEEE
16 years 15 days ago
2003
IEEE
One of the most challenging problems in high-level synthesis is how to quickly explore a wide range of design options to achieve high-quality designs. This paper presents an Integ...
219
click to vote
HICSS
2003
IEEE
16 years 15 days ago
2003
IEEE
People need to find, work with, and put together information. Diverse activities, such as scholarly research, comparison shopping, and entertainment involve collecting and connect...
206
click to vote
ISPASS
2003
IEEE
16 years 14 days ago
2003
IEEE
Abstract— This paper proposes to speedup sampled microprocessor simulations by reducing warmup times without sacrificing simulation accuracy. It exploiting the observation that ...
242
click to vote
JCDL
2003
ACM
16 years 13 days ago
2003
ACM
The increasing power of techniques to model complex geometry and extract meaning from 3D information create complex data that must be described, stored, and displayed to be useful...
204
click to vote
SENSYS
2003
ACM
16 years 13 days ago
2003
ACM
Wireless sensor networks are often used in monitoring and control applications, where software running on generalpurpose computers “pull” information from remote sensors and ...