426 search results - page 55 / 86 » SAT-Based Techniques in System Synthesis |
DISCEX
2003
IEEE
14 years 1 months ago
2003
IEEE
Dealing with damage that arises during operation of networked information systems is essential if such systems are to provide the dependability required by modern critical applica...
DAC
2007
ACM
14 years 9 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper presents a parallel algorithm of the Level Set Method named the Parallel Fast Level Set Method, and its application for real-time 3D reconstruction of human shape an...
IUI
2000
ACM
14 years 25 days ago
2000
ACM
We address the problem of realizing communicative plans in graphics. Our approach calls for mapping communicative goals to conceptual tasks and then using task-based graphic desig...
VTS
1998
IEEE
14 years 22 days ago
1998
IEEE
A fast fault-tolerant controller structure is presented, which is capable of recovering from transient faults by performing a rollback operation in hardware. The proposed fault-to...