Sciweavers

2545 search results - page 247 / 509
» An Architectural Discussion on DSPL
Sort
View
PVM
2001
Springer
15 years 11 months ago
Review of Performance Analysis Tools for MPI Parallel Programs
In order to produce MPI applications that perform well on today’s parallel architectures, programmers need effective tools for collecting and analyzing performance data. Because ...
Shirley Moore, David Cronk, Kevin S. London, Jack ...
ROBOCUP
2001
Springer
116views Robotics» more  ROBOCUP 2001»
15 years 11 months ago
Biter: A Platform for the Teaching and Research of Multiagent Systems' Design Using RoboCup
We introduce Biter, a platform for the teaching and research of multiagent systems’ design. Biter implements a client for the RoboCup simulator. It provides users with the basic ...
Paul A. Buhler, José M. Vidal
SAS
2001
Springer
116views Formal Methods» more  SAS 2001»
15 years 11 months ago
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
Frédéric Mesnard, Ulrich Neumerkel
HICSS
2000
IEEE
154views Biometrics» more  HICSS 2000»
15 years 11 months ago
Fuzzy Logic in Clinical Practice Decision Support Systems
Computerized clinical guidelines can provide significant benefits to health outcomes and costs, however, their effective implementation presents significant problems. Vagueness an...
James R. Warren, Gleb Beliakov, Berend-Jan van der...
ICRA
2000
IEEE
86views Robotics» more  ICRA 2000»
15 years 11 months ago
Randomized Planning for Short Inspection Paths
This paper addresses the following inspection problem: given a known workspace and a robot with vision capabilities compute a short path path for the robot such that each point on...
Tim Danner, Lydia E. Kavraki