56 search results - page 8 / 12 » Parallel versions of the symbolic manipulation system FORM |
175
click to vote
MVA
1990
15 years 7 months ago
1990
d at a high abstraction level, and consists in an expectation-driven search starting from symbolic object descriptions and using a version of a distributed blackboard system for re...
156
click to vote
QEST
2007
IEEE
16 years 7 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
151
click to vote
ISCA
1999
IEEE
15 years 10 months ago
1999
IEEE
Modern compilers must expose sufficient amounts of Instruction-Level Parallelism (ILP) to achieve the promised performance increases of superscalar and VLIW processors. One of the...
191
click to vote
SMA
2008
ACM
15 years 5 months ago
2008
ACM
We present an alternative approach to standard geometric shape editing using physically-based simulation. With our technique, the user can deform complex objects in real-time. The...
189
click to vote
MM
1993
ACM
15 years 10 months ago
1993
ACM
as a tree which specifies the presentation in an abstract, machineindependent way. This specification is created and edited using an authoring system; it is mapped to a particula...