Sciweavers

4772 search results - page 117 / 955
» An approach to interface synthesis
Sort
View
ICCAD
2002
IEEE
103views Hardware» more  ICCAD 2002»
16 years 3 months ago
Synthesis of customized loop caches for core-based embedded systems
Embedded system programs tend to spend much time in small loops. Introducing a very small loop cache into the instruction memory hierarchy has thus been shown to substantially red...
Susan Cotterell, Frank Vahid
POPL
2010
ACM
16 years 1 months ago
Abstraction-guided synthesis of synchronization
ion-Guided Synthesis of Synchronization Martin Vechev IBM Research Eran Yahav IBM Research Greta Yorsh IBM Research We present a novel framework for automatic inference of effici...
Martin T. Vechev, Eran Yahav, Greta Yorsh
DATE
2009
IEEE
176views Hardware» more  DATE 2009»
16 years 1 months ago
Automated synthesis of streaming C applications to process networks in hardware
Abstract—The demand for embedded computing power is continuously increasing and FPGAs are becoming very interesting computing platforms, as they provide huge amounts of customiza...
Sven van Haastregt, Bart Kienhuis
VR
2009
IEEE
228views Virtual Reality» more  VR 2009»
16 years 1 months ago
Natural Eye Motion Synthesis by Modeling Gaze-Head Coupling
Due to the intrinsic subtlety and dynamics of eye movements, automated generation of natural and engaging eye motion has been a challenging task for decades. In this paper we pres...
Xiaohan Ma, Zhigang Deng
COMPSAC
2006
IEEE
16 years 15 days ago
Automated Agent Synthesis for Situation Awareness in Service-Based Systems
Service-based systems have many applications, such as collaborative research and development, e-business, health care, military applications, and homeland security. In dynamic ser...
Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...