766 search results - page 5 / 154 » Synthesis of Synchronous Interfaces |
ISSS
1998
IEEE
14 years 25 days ago
1998
IEEE
Complex system specifications are often hierarchically composed of several subsystems. Each subsystem contains one or more processes. In order to provide optimization across diffe...
ASPDAC
2008
ACM
13 years 10 months ago
2008
ACM
DAC
1999
ACM
14 years 27 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...
ICCAD
1995
IEEE
14 years 4 days ago
1995
IEEE
Abstract—We propose the use of the logic S1S as a mathematical framework for studying the synthesis of sequential designs. We will show that this leads to simple and mathematical...
POPL
2010
ACM
14 years 3 months ago
2010
ACM
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...