Sciweavers

5536 search results - page 798 / 1108
» Programming Languages for Distributed Applications
Sort
View
100
Voted
SAT
2007
Springer
126views Hardware» more  SAT 2007»
15 years 7 months ago
Sensor Deployment for Failure Diagnosis in Networked Aerial Robots: A Satisfiability-Based Approach
Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses sensor deplo...
Fadi A. Aloul, Nagarajan Kandasamy
ISIPTA
2005
IEEE
115views Mathematics» more  ISIPTA 2005»
15 years 7 months ago
A Protocol for the Elicitation of Imprecise Probabilities
A protocol for the elicitation of imprecise probabilities based on linear programming is applied to the case of two continuous variables. Two medical experts were elicited. The re...
Alane Alves Silva, Fernando Campello de Souza
EUROPAR
2005
Springer
15 years 7 months ago
Performance Modeling: Understanding the Past and Predicting the Future
We present an overview of current research in performance modeling, focusing on efforts underway in the Performance Evaluation Research Center (PERC). Using some new techniques, w...
David H. Bailey, Allan Snavely
CLUSTER
2003
IEEE
15 years 6 months ago
Performance Analysis of Java Message-Passing Libraries on Fast Ethernet, Myrinet and SCI Clusters
The use of Java for parallel programming on clusters according to the message-passing paradigm is an attractive choice. In this case, the overall application performance will larg...
Guillermo L. Taboada, Juan Touriño, Ramon D...
CADE
2000
Springer
15 years 5 months ago
The Nuprl Open Logical Environment
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
Stuart F. Allen, Robert L. Constable, Richard Eato...