4772 search results - page 134 / 955 » An approach to interface synthesis |
199
click to vote
WWW
2005
ACM
16 years 2 days ago
2005
ACM
We propose a technique for the automated synthesis of new comeb services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we aut...
173
click to vote
ISPD
2004
ACM
15 years 12 months ago
2004
ACM
Considering the voltage drop constraint over a distributed model for power/ground (P/G) network, we study the following two problems for physical synthesis of sleep transistors: t...
168
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update an...
137
click to vote
EH
2002
IEEE
15 years 11 months ago
2002
IEEE
Most real-world controllers are composed of proportional, integrative, and derivative signal processing blocks. The so-called PID controller was invented and patented by Callender...
152
click to vote
HYBRID
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The algorithmic design of least restrictive controllers for hybrid systems that satisfy reachability specifications has received much attention recently. Despite the imp...