Sciweavers

32 search results - page 4 / 7
» sp 1999
Sort
View
IPPS
1999
IEEE
13 years 10 months ago
ParaPART: Parallel Mesh Partitioning Tool for Distributed Systems
In this paper, we present ParaPART, a parallel version of a mesh partitioning tool, called PART, for distributed systems. PART takes into consideration the heterogeneities in proce...
Jian Chen, Valerie E. Taylor
HPDC
1999
IEEE
13 years 10 months ago
PARED: A Framework for the Adaptive Solution of PDEs
We describe our experience using PARED, an object oriented system for the adaptive solution of PDEs in a distributed computing environment. PARED handles selective mesh refinement...
José G. Castaños, John E. Savage
CADE
1999
Springer
13 years 10 months ago
System Description: Twelf - A Meta-Logical Framework for Deductive Systems
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
Frank Pfenning, Carsten Schürmann
ICRA
1999
IEEE
187views Robotics» more  ICRA 1999»
13 years 10 months ago
VISP: A Software Environment for Eye-in-Hand Visual Servoing
In this paper, we describe a modular software that allows fast development of eye-in-hand image-based visual servoing applications (ViSP states for "Visual Servoing Platform&...
Éric Marchand
IPPS
1999
IEEE
13 years 10 months ago
Process Tracking for Parallel Job Control
Job management subsystems in parallel environments have to address two important issues: (i) how to associate processes present in the system to the tasks of parallel jobs, and (ii...
Hubertus Franke, José E. Moreira, Pratap Pa...