18326845
Parallel univariate p-adic lifting on shared-memory multiprocessors
Parallelization of univariate p-aclic lifting, a procedure important in modem gcd and factorization algorithms, is presented. The strategy is to take the fastest known sequential algorithm and parallelize its key steps: lift basis, residue, correction coefficients, updating factors, cldecting true factors, and reformulation for continued lifting. Both linear and quadratic lifting are investigated. A new procedure for reformulating the lifting after finding true factors speeds up the sequential and the parallel lifting. PLIFT, a software package written in C for a 26-processor Sequent Balance, implements the parallel algorithms. Timing results are given in an appendix,
1532988
Symbolic Computation and Parallel Software
Two aspects of parallelism as related to symbolic computing are presented: (1) the implementation of parallel programs for the factorization of polynomials, and (2) the automatic derivation and generation of parallel codes for finite element analysis. The former illustrates the use of parallel programming to speed up symbolic manipulation. The latter shows how symbolic systems can help create parallel software for scientific computation. Through these two case studies, the promise of parallelism in symbolic computation is demonstrated.
28403175
GI/S: A Graphical User Interface For Symbolic Computation Systems
The design and implementation of GI/S, a Graphical user Interface for Symbolic computation systems, is described. The system provides a multiple window environment for the high-resolution 2-D display of mathematical expressions, the ability to select and manipulate parts of expressions with a mouse, and graphics plotting of mathematical expressions. GI/S also provides command line editing and a history mechanism for editing and re-executing past commands. GI/S is written in Franz Lisp for the Macsyma system and has been implemented on the Tektronix 4404 workstation.
5347997
WME: towards a web for mathematics education
Reported is an approach for Web-based Mathematics Education (WME). The WME framework is a distributed system that aims to create a Web for mathematics education. Components of the WME framework include the Mathematics Education Markup Language (MeML) for page markup, regular Web servers to deliver pages, WME Page Processors to enable common Web browsers to receive MeML pages, and a variety of WME services (mathematical and educational) to supply power and interactivity to MeML pages. The MeML language supports the creation of efficient, effective, and dynamic mathematics education content. The WME architecture is designed so that mathematics education contents (static and/or dynamic) and remote WME services can be built independently, maintained independently, deployed easily, and still interoperate and reinforce one another on a global scale.
31996759
Analysis and Design of Parallel Thinning Algorithms - A Generic Approach
In this paper, a generic approach for the analysis and design of parallel thinning algorithms is presented. The procedures for designing 4-subcycle/iteration, 2-subcycle/iteration, and 1-subcycle/iteration thinning algorithms are developed. The experimental results show that these thinning algorithms designed by proposed approach preserve image connectivity, produce thinner results, and obtain faster speed than many existing key thinning algorithms. As an example, a 1-subcycle/iteration algorithm and its experimental results were illustrated, which is in general about two times faster than others in the literature.
6202424
On cages with given degree sets
Abstract We consider the problem of constructing minimal graphs of given girth having a particular degree set.
11922333
Parallel Matching of 3D Articulated Object Recognition
In dealing with large volume image data, sequential methods usually are too slow and unsatisfactory. This paper introduces a new system employing parallel matching in high-level recognition of 3D articulated objects. A new structural strategy using linear combination and parallel graphic matching techniques is presented for 3D polyhedral objects representable by 2D line-drawings. It solves one of the basic concerns in diffusion tomography complexities, i.e. patterns can be reconstructed through fewer projections, and 3D objects can be recognized by a few learning sample views. It also improves some of the current methods while overcoming their drawbacks. Furthermore, it can distinguish very similar objects and is more accurate than other methods in the literature. An online webpage system for understanding and recognizing 3D objects is also illustrated.
6354609
A Genetic Algorithm for VLSI Floorplanning
We present a genetic algorithm (GA) which uses a normalized postfix encoding scheme to solve the VLSI floorplanning problem. We claim to have overcome the representational problems previously associated with encoding postfix expressions into GAs, and have developed a novel encoding system which preserves the integrity of solutions under all the genetic operators. Optimal floorplans are obtained for module sets taken from some MCNC benchmarks. The slicing tree construction process, used by our GA to generate the floorplans, has a run time scaling which compares very favourably with other recent approaches.
34131767
Problem Solving With Insufficient Resources
A new approach, "controlled concurrency," is introduced for inference control in an adaptive reasoning system working with insufficient knowledge and resources. With this method, a problem-solving process is constructed from atomic steps in run time, according to the system's past experience and the current context. The system carries out many such processes in parallel by distributing its resources among them, and dynamically adjusting the distribution according to feedback. A data structure, "bag," is designed to support this dynamic time-space allocation, and is a kind of probabilistic priority queue. This approach provides a flexible, efficient, and adaptive control mechanism for real-time systems working with uncertain knowledge. To analyze problem solving in such a system, the traditional computability theory and computational complexity theory become inappropriate, because the system no longer follows problem-specific algorithms in problem solving.