3670 search results - page 359 / 734 » Linear Recursive Functions |
187
click to vote
WECWIS
2006
IEEE
16 years 21 days ago
2006
IEEE
Self-Healing and self-optimizing service based applications are important steps towards the self-organizing Service Oriented Architectures (SOA). Self-Organizing SOAs replace serv...
180
click to vote
ACL2
2006
ACM
16 years 21 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
180
click to vote
ASPDAC
2006
ACM
16 years 21 days ago
2006
ACM
− In this paper, we present a new timing-driven placement algorithm, which attempts to minimize zigzags and crisscrosses on the timing-critical paths of a circuit. We observed th...
156
click to vote
DATE
2005
IEEE
16 years 10 days ago
2005
IEEE
A comprehensive probabilistic methodology is proposed to solve the buffer insertion problem with the consideration of process variations. In contrast to a recent work, we point o...
191
click to vote
EUROMICRO
2005
IEEE
16 years 10 days ago
2005
IEEE
State-of-the-art middleware and component technologies lack support for Quality of Service (QoS) management. Application developers, therefore, integrate QoS mechanisms into the a...