426 search results - page 62 / 86 » SAT-Based Techniques in System Synthesis |
ICCCN
2007
IEEE
14 years 2 months ago
2007
IEEE
The performance and immersiveness of telepresence and teleaction systems critically depend on the quality of the communication between the operator and the teleoperator. High pack...
IPPS
1999
IEEE
14 years 23 days ago
1999
IEEE
The lack of high-level design tools hampers the widespread adoption of adaptive computing systems. Application developers have to master a wide range of functions, from the high-le...
FPL
1999
Springer
14 years 23 days ago
1999
Springer
Abstract. High-performance design flows for FPGAs often rely on module generators to counter coarse logic-block granularity and limited routing resources, However, the very flexi...
ICDCS
1995
IEEE
14 years 1 days ago
1995
IEEE
Tasks in a real-time application usually have several stringent timing, resource, and communication requirements. Designing a distributed computing system which can meet all these...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...