766 search results - page 38 / 154 » Synthesis of Synchronous Interfaces |
100
click to vote
PLDI
2012
ACM
13 years 4 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...
126
Voted
DAC
2005
ACM
16 years 2 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...
101
click to vote
WECWIS
2006
IEEE
15 years 7 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...
140
click to vote
ASE
2005
15 years 1 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...
VLSID
2005
IEEE
16 years 1 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...