3456 search results - page 22 / 692 » Algorithms for Interface Synthesis |
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
ICCD
1994
IEEE
13 years 11 months ago
1994
IEEE
Systems for multi-level logic optimization are usually based on a set of specialized, loosely-related transformations which work on a network representation. The sequence of trans...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
ICCAD
1996
IEEE
13 years 11 months ago
1996
IEEE
Abstract - Using the
exibility provided by multiple functionalities we have developed a new approach for permanent fault-tolerance: Heterogeneous BuiltIn-Resiliency (HBIR). HBIR p...
MM
2003
ACM
14 years 26 days ago
2003
ACM
We present a new model of interactive audio for entertainment and communication. A new device called the DJammer and its associated technologies are described. The DJammer introdu...