3456 search results - page 196 / 692 » Algorithms for Interface Synthesis |
130
click to vote
DAC
1999
ACM
15 years 6 months 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...
108
click to vote
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
In a realistic design flow, circuit and system optimizations must interact with physical aspects of the design. For example, improvements in timing and power may require replacing ...
100
click to vote
SIGSOFT
2010
ACM
15 years 9 days ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
137
click to vote
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
147
click to vote
KAIS
2002
15 years 2 months ago
2002
A great challenge for web site designers is how to ensure users' easy access to important web pages efficiently. In this paper we present a clustering-based approach to addres...