6978 search results - page 1069 / 1396 » On Proofs in System P |
165
click to vote
SC
1993
ACM
15 years 11 months ago
1993
ACM
Vienna Fortran is a machine-independent language extension of Fortran, which is based upon the Single-Program-Multiple-Data SPMD paradigm and allows the user to write programs f...
160
click to vote
SIGGRAPH
1992
ACM
15 years 11 months ago
1992
ACM
A model for the dynamic simulation of flexible bodies subject to non-penetration constraints is presented. Flexible bodies are described in terms of global deformations of a rest ...
180
Voted
DAC
1989
ACM
15 years 11 months ago
1989
ACM
- New algorithms for high-level synthesis are presented. The first performs scheduling under hardware resource constraints and improves on commonly used list scheduling techniques ...
155
click to vote
ICS
1989
Tsinghua U.
15 years 11 months ago
1989
Tsinghua U.
We consider iterative algorithms of the form z := f(z), executed by a parallel or distributed computing system. We focus on asynchronous implementations whereby each processor ite...
201
click to vote
SIGGRAPH
1990
ACM
15 years 11 months ago
1990
ACM
We describe a fast method for creating physically based animation of non-rigid objects. Rapid simulation of nonrigid behavior is based on global deformations. Constraints are used...