766 search results - page 38 / 154 » Synthesis of Synchronous Interfaces |
110
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
135
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
We propose a system architecture for real-time hardware speech recognition on low-cost, power-constrained devices. The system is intended to support real-time speech-based user in...
109
Voted
WECWIS
2006
IEEE
15 years 8 months ago
2006
IEEE
The paper assumes that business interactions between trading partners are composed of well defined conversations (tasks), such as issue a purchase order, process payment, refund m...
151
Voted
ASE
2005
15 years 2 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
100
Voted
VLSID
2005
IEEE
16 years 2 months ago
2005
IEEE
Interest in asynchronous circuit design is increasing due to its promise of efficient designs. The quiescent nature of asynchronous circuits allows them to remain in a stable stat...