7109 search results - page 1357 / 1422 » Process Algebra with Combinators |
181
Voted
ECAI
2000
Springer
15 years 10 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 ...
141
Voted
ISPD
1999
ACM
15 years 10 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...
142
Voted
SIGGRAPH
1999
ACM
15 years 10 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...
160
Voted
FPGA
1999
ACM
15 years 10 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...
176
click to vote
VISUALIZATION
1999
IEEE
15 years 10 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...