3456 search results - page 73 / 692 » Algorithms for Interface Synthesis |
SIGADA
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, we describe an approach to automatically creating C++ bindings to Ada libraries utilizing capabilities of the Ada Semantic Interface Specification (ASIS). We discus...
GROUP
2009
ACM
13 years 7 months ago
2009
ACM
Emergency management and planning often involves multiple domain experts with diverse knowledge backgrounds and responsibilities. Current practices in emergency management and pla...
NIME
2004
Springer
14 years 3 months ago
2004
Springer
This paper describes the design and on-going development of an expressive gestural MIDI interface and how this could enhance live performance of electronic music. Keywords gestura...
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
14 years 4 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
FPGA
2007
ACM
14 years 4 months ago
2007
ACM
Power consumption in field programmable gate arrays (FPGAs) has become an important issue as the FPGA market has grown to include mobile platforms. In this work we present a power...