Sciweavers

766 search results - page 14 / 154
» Synthesis of Synchronous Interfaces
Sort
View
CAV
2007
Springer
121views Hardware» more  CAV 2007»
14 years 2 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
FDL
2005
IEEE
14 years 2 months ago
Automatic synthesis of the Hardware/Software Interface
Although Moore’s Law enables a huge number of components to be integrated into a single chip, design methods that will allow system architects to put the components together to ...
Francesco Regazzoni, André C. Nácul,...
FGR
2006
IEEE
133views Biometrics» more  FGR 2006»
14 years 2 months ago
A Vision Based Interface for Local Collaborative Music Synthesis
The computer is an ubiquitous element of modern society, nonetheless, human computer interaction is still rather inflexible. Particularly in local collaborative environments, lik...
João Carreira, Paulo Peixoto
VLSID
2004
IEEE
119views VLSI» more  VLSID 2004»
14 years 9 months ago
Bridge Over Troubled Wrappers: Automated Interface Synthesis
System-on-Chip (SoC) design methodologies rely heavily on reuse of intellectual property (IP) blocks. IP reuse is a labour intensive and time consuming process as IP blocks often ...
Vijay D'Silva, S. Ramesh, Arcot Sowmya