4870 search results - page 744 / 974 » Construction of Wavelets and Applications |
180
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Abstract A divide-and-conquer algorithm for computing the parametric yield of large analog circuits is presented. The algorithm targets applications whose performance spreads could...
171
click to vote
MM
1996
ACM
15 years 10 months ago
1996
ACM
Such interactive, distributed multimedia applications as shared whiteboards, group editors, and simulations require reliable concurrent multicast services, i.e., the reliable diss...
171
click to vote
HYBRID
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
164
Voted
CSCW
1992
ACM
15 years 10 months ago
1992
ACM
This paper investigates CSCW aspects of large-scale technical projects based on a case study of a specific Danish engineering company and uncovers challenges to CSCW applications ...
167
click to vote
LOPSTR
1994
Springer
15 years 10 months ago
1994
Springer
We present a goal replacement rule whose main applicability condition is based on termination properties of the resulting transformed program. The goal replacement rule together wi...