Sciweavers

14720 search results - page 127 / 2944
» Interface
Sort
View
157
Voted
ACSD
2006
IEEE
109views Hardware» more  ACSD 2006»
15 years 6 months ago
Synthesis of Synchronous Interfaces
Reuse of IP blocks has been advocated as a means to conquer the complexity of today's system-on-chip (SoC) designs. Component integration and verification in such systems is ...
Purandar Bhaduri, S. Ramesh
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 6 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
MC
2008
126views Computer Science» more  MC 2008»
15 years 6 months ago
Identifying User Interface Patterns from Pertinent Multimodal Interaction Use Cases
The context of this work is usability engineering for multimodal interaction. In contrast to other work centrates on prototyping toolkits or abstract guidelines, this research foc...
Andreas Ratzka
EHCI
2004
15 years 6 months ago
A Novel Dialog Model for the Design of Multimodal User Interfaces
The wide range of different devices with varying capabilities and interaction modalities as well as changing user context in nomadic applications, poses critical challenges to the ...
Robbie Schaefer, Steffen Bleul, Wolfgang Müll...
ERSA
2006
98views Hardware» more  ERSA 2006»
15 years 6 months ago
Hydra: An Energy-efficient and Reconfigurable Network Interface
Abstract-- In heterogeneous tiled System-on-Chip architectures a Network-on-Chip is used to transport messages between processing elements. A reconfigurable network interface is us...
Marcel D. van de Burgwal, Gerard J. M. Smit, Gerar...