Loading...
Please wait, while we are loading the content...
Similar Documents
Approaches to Parallel Quantiier Elimination
| Content Provider | Semantic Scholar |
|---|---|
| Author | Dolzmann, Andreas Gloor, Oliver |
| Copyright Year | 1998 |
| Abstract | Special-purpose quantiier elimination procedures for problems of low degree using virtual substitution of test terms have recently turned out to be applicable to a variety of non-trivial non-academic problems. We study parallel algorithms based on these methods for several par-allelization environments: a Cray YMP4/T3D, a workstation cluster, and a multi-processor Sparc. Our implementations show remarkable though sublinear speed-ups in all these environments. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.fmi.uni-passau.de/forschung/mip-berichte/MIP-9803.ps.gz |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |