640 search results - page 46 / 128 » On Timed Simulation Relations for Hybrid Systems and Composi... |
ISER
2000
Springer
13 years 11 months ago
2000
Springer
: This paper describes a virtual collaborative world simulator, DVECS (Distributed Virtual Environment Collaborative Simulator), for underwater robots and its underwater vehicle, S...
VLDB
2002
ACM
13 years 7 months ago
2002
ACM
This paper introduces MICP, a novel multiversion integrated cache replacement and prefetching algorithm designed for efficient cache and transaction management in hybrid data deli...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
We consider the generalized assignment problem in which the objective is to find a minimum cost assignment of a set of jobs to a set of agents subject to resource constraints. Th...
CP
2000
Springer
14 years 2 days ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
We discuss the computational complexity of random 2D Ising spin glasses, which represent an interesting class of constraint satisfaction problems for black box optimization. Two ex...