Sciweavers

1183 search results - page 204 / 237
» Risk Management with Benchmarking
Sort
View
AUTOMATICA
1999
82views more  AUTOMATICA 1999»
14 years 11 months ago
Controllers for reachability specifications for hybrid systems
The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal c...
John Lygeros, Claire Tomlin, Shankar Sastry
IJFCS
1998
67views more  IJFCS 1998»
14 years 11 months ago
Vertex Splitting in Dags and Applications to Partial Scan Designs and Lossy Circuits
Directed acyclic graphs (dags) are often used to model circuits. Path lengths in such dags represent circuit delays. In the vertex splitting problem, the objective is to determine...
Doowon Paik, Sudhakar M. Reddy, Sartaj Sahni
TEC
2002
128views more  TEC 2002»
14 years 11 months ago
A framework for evolutionary optimization with approximate fitness functions
It is not unusual that an approximate model is needed for fitness evaluation in evolutionary computation. In this case, the convergence properties of the evolutionary algorithm are...
Yaochu Jin, Markus Olhofer, Bernhard Sendhoff
PVM
2010
Springer
14 years 10 months ago
Communication Target Selection for Replicated MPI Processes
Abstract. VolpexMPI is an MPI library designed for volunteer computing environments. In order to cope with the fundamental unreliability of these environments, VolpexMPI deploys tw...
Rakhi Anand, Edgar Gabriel, Jaspal Subhlok
SIGOPS
2010
144views more  SIGOPS 2010»
14 years 10 months ago
The case for a versatile storage system
Storage systems in emerging large-scale (a.k.a. peta-scale) computing systems often introduce a performance or scalability bottleneck. To deal with these limitations we propose a ...
Samer Al-Kiswany, Abdullah Gharaibeh, Matei Ripean...