56 search results - page 1 / 12 » Parallel versions of the symbolic manipulation system FORM |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
CPHYSICS
2010
13 years 2 months ago
2010
We present TFORM, the version of the symbolic manipulation system FORM that can make simultaneous use of several processors in a shared memory architecture. The implementation use...
GRAPHICSINTERFACE
2001
13 years 6 months ago
2001
We describe a technique for enhancing a user's ability to manipulate hand-printed symbolic information by automatically improving legibility and simultaneously providing imme...
HPCN
1997
Springer
13 years 8 months ago
1997
Springer
This paper describes a distributed algorithm for Boolean function manipulation. The algorithm is based on Binary Decision Diagrams (BDDs), which are one of the most commonly used ...
ICRA
2010
IEEE
13 years 3 months ago
2010
IEEE
: The immobilization of non-rigid objects is currently an active research area in robotics. This paper explores the problem by studying the immobilization of serial chains of rigid...