278 search results - page 54 / 56 » A Framework for Counterexample Generation and Exploration |
ICCAD
2005
IEEE
14 years 2 months ago
2005
IEEE
We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...
PLDI
2009
ACM
14 years 26 days ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
SIGIR
2005
ACM
13 years 11 months ago
2005
ACM
Retrospective news event detection (RED) is defined as the discovery of previously unidentified events in historical news corpus. Although both the contents and time information...
HICSS
2003
IEEE
13 years 11 months ago
2003
IEEE
Telemedicine is advocated for its potential to improve the accessibility and quality of health care delivery while lowering costs [1]. Although the potential benefits of telemedic...
SEMWEB
2009
Springer
13 years 10 months ago
2009
Springer
The increase of personal digital cameras with video functionality and video-enabled camera phones has increased the amount of user-generated videos on the Web. People are spending ...