3456 search results - page 128 / 692 » Algorithms for Interface Synthesis |
DAC
2002
ACM
14 years 11 months ago
2002
ACM
This paper presents an optimal voltage synthesis technique for a satellite application to maximize system performance subject to energy budget. A period of a satellite's orbi...
FPGA
2009
ACM
14 years 5 months ago
2009
ACM
In recent years, the maximum logic capacity of each successive FPGA family has been increasing by more than 50%, which motivates scalable solutions. Meanwhile, academic research i...
HYBRID
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
IRI
2008
IEEE
14 years 4 months ago
2008
IEEE
— We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state...
ISQED
2005
IEEE
14 years 3 months ago
2005
IEEE
As technology scales down, power supply noise is becoming a performance and reliability bottleneck in modern VLSI. We propose a power supply noise-aware design methodology for hig...