Sciweavers

894 search results - page 161 / 179
» Optimizations for LTL Synthesis
Sort
View
DATE
2010
IEEE
153views Hardware» more  DATE 2010»
15 years 4 months ago
Taming the component timing: A CBD methodology for real-time embedded systems
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
Manoj G. Dixit, Pallab Dasgupta, S. Ramesh
DATE
2010
IEEE
127views Hardware» more  DATE 2010»
15 years 4 months ago
A portable multi-pitch e-drum based on printed flexible pressure sensors
Pressure sensors are ideal candidates for implementing portable digital music instruments. Existing commercial pressure sensors, however, are not optimized to meet both timing and...
Chun-Ming Lo, Tsung-Ching Huang, Cheng-Yi Chiang, ...
91
Voted
DATE
2002
IEEE
137views Hardware» more  DATE 2002»
15 years 3 months ago
Practical Instruction Set Design and Compiler Retargetability Using Static Resource Models
The design of application (-domain) specific instructionset processors (ASIPs), optimized for code size, has traditionally been accompanied by the necessity to program assembly, ...
Qin Zhao, Bart Mesman, Twan Basten
71
Voted
ASPDAC
2009
ACM
117views Hardware» more  ASPDAC 2009»
15 years 3 months ago
Dynamically reconfigurable on-chip communication architectures for multi use-case chip multiprocessor applications
– The phenomenon of digital convergence and increasing application complexity today is motivating the design of chip multiprocessor (CMP) applications with multiple use cases. Mo...
Sudeep Pasricha, Nikil Dutt, Fadi J. Kurdahi
SIGGRAPH
2010
ACM
15 years 3 months ago
Terrain-adaptive bipedal locomotion control
We describe a framework for the automatic synthesis of biped locomotion controllers that adapt to uneven terrain at run-time. The framework consists of two components: a per-foots...
Jia-chi Wu, Zoran Popovic