7109 search results - page 1357 / 1422 » Process Algebra with Combinators |
149
Voted
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
112
click to vote
ISPD
1999
ACM
15 years 8 months ago
1999
ACM
We study alternatives to FM-based partitioning in the context of end-case processing for top-down standard-cell placement. The primary motivation is that small partitioning instan...
120
Voted
SIGGRAPH
1999
ACM
15 years 8 months ago
1999
ACM
We introduce a novel algorithm for transforming character animation sequences that preserves essential physical properties of the motion. By using the spacetime constraints dynami...
127
click to vote
FPGA
1999
ACM
15 years 8 months ago
1999
ACM
The demand for high-speed FPGA compilation tools has occurred for three reasons: first, as FPGA device capacity has grown, the computation time devoted to placement and routing h...
146
Voted
VISUALIZATION
1999
IEEE
15 years 8 months ago
1999
IEEE
Splatting is a volume rendering algorithm that combines efficient volume projection with a sparse data representation: Only voxels that have values inside the iso-range need to be...