Sciweavers

550 search results - page 86 / 110
» The Language of the Visitor Design Pattern
Sort
View
VMCAI
2004
Springer
14 years 1 months ago
Applying Jlint to Space Exploration Software
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
Cyrille Artho, Klaus Havelund
ICCS
2001
Springer
14 years 10 days ago
Adaptive Load Balancing for MPI Programs
Abstract. Parallel Computational Science and Engineering (CSE) applications often exhibit irregular structure and dynamic load patterns. Many such applications have been developed ...
Milind A. Bhandarkar, Laxmikant V. Kalé, Er...
DEXA
2006
Springer
139views Database» more  DEXA 2006»
13 years 11 months ago
Efficient Processing of Multiple XML Twig Queries
Abstract. Finding all occurrences of a twig pattern in an XML document is a core operation for XML query processing. The emergence of XML as a common mark-up language for data inte...
Huanzhang Liu, Tok Wang Ling, Tian Yu, Ji Wu
DAGSTUHL
1990
13 years 9 months ago
Parallel Rule-Firing Production Systems
One of the principal advantages of parallelizing a rule-based system, or more generally, any A.I. system, is the ability to pursue alternate search paths concurrently. Conventiona...
Daniel Neimann
TOG
2008
143views more  TOG 2008»
13 years 7 months ago
Discovering structural regularity in 3D geometry
We introduce a computational framework for discovering regular or repeated geometric structures in 3D shapes. We describe and classify possible regular structures and present an e...
Mark Pauly, Niloy J. Mitra, Johannes Wallner, Helm...