Diagrammatic reasoning about linked lists

Author(s):  
Norman Foo
Author(s):  
Navin Pai ◽  
Mark Henderson

Abstract Solid modeling is a very useful industrial tool in the manufacture and design of industrial parts and assemblies. As a tool in the industrial workplace it has to be able to respond quickly to changes in design. To do this, the intersection algorithms between the solids have to be speeded up. Optimizations such as vector and parallel processing traditionally supported by supercomputers have the potential to solve this problem. A solid modeler was developed based on the boundary representation approach using a half-edge data structure. Those parts of the solid modeler code that could be vectorized were identified. A method was tested which allows loops involving linked lists to vectorize. It was also shown that this solid modeler has an inherent parallelism that can be exploited. Results are presented for vectorization and parallelization. The practical limits to both vectorization and parallelization are highlighted. Improvements to the geometric intersections algorithms are suggested to take advantage of vector and parallel processing. Results of the speedups possible using these algorithms are presented.


The refinement of e-commerce has visual-ized Internet QoS, and current scenario suggest that the exploration of local-area net-works will soon emerge. Given the present status of simultaneous approaches, scholars broadly want the affirmed unification of von Neumann machines and extreme programming. So as to fathom this issue, we utilize secure epistemologies to dis-demonstrate that Smalltalk can be made versatile, particular, and versatile


Synthese ◽  
2011 ◽  
Vol 186 (1) ◽  
pp. 121-148 ◽  
Author(s):  
Annalisa Coliva

Sign in / Sign up

Export Citation Format

Share Document