Sciweavers

4772 search results - page 46 / 955
» An approach to interface synthesis
Sort
View
JAVA
1999
Springer
15 years 10 months ago
Interfacing Java to the Virtual Interface Architecture
User-level network interfaces (UNIs) have reduced the overheads of communication by exposing the buffers used by the network interface DMA engine to the applications. This removes...
Chi-Chao Chang, Thorsten von Eicken
ISLPED
2009
ACM
125views Hardware» more  ISLPED 2009»
16 years 24 days ago
Behavior-level observability don't-cares and application to low-power behavioral synthesis
Many techniques for power management employed in advanced RTL synthesis tools rely explicitly or implicitly on observability don’t-care (ODC) conditions. In this paper we presen...
Jason Cong, Bin Liu, Zhiru Zhang
EMSOFT
2011
Springer
14 years 6 months ago
Synthesis of optimal switching logic for hybrid systems
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
Susmit Jha, Sanjit A. Seshia, Ashish Tiwari
LREC
2008
135views Education» more  LREC 2008»
15 years 7 months ago
CORP-ORAL: Spontaneous Speech Corpus for European Portuguese
Research activity on the Portuguese language for speech synthesis and recognition has suffered from a considerable lack of human and material resources. This has raised some obsta...
Fabíola Santos, Tiago Freitas
HF
2007
131views more  HF 2007»
15 years 6 months ago
Formal Analysis and Automatic Generation of User Interfaces: Approach, Methodology, and an Algorithm
In this paper we propose a formal approach and methodology for analysis and generation of human-machine interfaces, with special emphasis on human-automation interaction. Our appr...
Michael Heymann, Asaf Degani