3281 search results - page 553 / 657 » Bases for parametrized iterativity |
102
click to vote
APLAS
2000
ACM
15 years 6 months ago
2000
ACM
We describe a system called CFLP which aims at the integration of the best features of functional logic programming (FLP), cooperative constraint solving (CCS), and distributed co...
99
Voted
ISPD
2000
ACM
15 years 6 months ago
2000
ACM
In this paper we present a repeater block planning algorithm for interconnect-centric floorplanning. We introduce the concept of independent feasible regions for repeaters and der...
128
click to vote
SIGMETRICS
2000
ACM
15 years 6 months ago
2000
ACM
We present a new approximation algorithm based on an exact representation of the state space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algeb...
CSL
2000
Springer
15 years 6 months ago
2000
Springer
We define three composition and structuring concepts which reflect frequently used refinements of ASMs and integrate standard structuring constructs into the global state based ...
126
Voted
SMA
1999
ACM
15 years 6 months ago
1999
ACM
We present an efficient algorithm for preserving the total volume of a solids undergoing free-form deformation using discrete level-of-detail representations. Given the boundary r...