142 search results - page 21 / 29 » Abstraction-guided synthesis of synchronization |
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper proposes a method for synthesizing dance performance synchronized to played music and our method presents a system that imitates dancers’ skills in performing thei...
FCCM
2007
IEEE
14 years 2 months ago
2007
IEEE
Programming efficiency of heterogeneous concurrent systems is limited by the use of lock-based synchronization mechanisms. Transactional memories can greatly improve the programmi...
ICCAD
1999
IEEE
14 years 1 days ago
1999
IEEE
In Deep Sub-Micron (DSM) designs, performance will depend critically on the latency of long wires. We propose a new synthesis methodology for synchronous systems that makes the de...
DAC
1999
ACM
14 years 1 days ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
CHES
2006
Springer
13 years 11 months ago
2006
Springer
Balanced dynamic dual-rail gates and asynchronous circuits have been shown, if implemented correctly, to have natural and efficient resistance to side-channel attacks. Despite thei...