Sciweavers

12115 search results - page 343 / 2423
» Bisimulation of Dynamical Systems
Sort
View
SIGMOD
2006
ACM
174views Database» more  SIGMOD 2006»
16 years 6 months ago
Dynamic authenticated index structures for outsourced databases
In outsourced database (ODB) systems the database owner publishes its data through a number of remote servers, with the goal of enabling clients at the edge of the network to acce...
Feifei Li, Marios Hadjieleftheriou, George Kollios...
161
Voted
ASPLOS
2010
ACM
16 years 1 months ago
Specifying and dynamically verifying address translation-aware memory consistency
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speci...
Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. So...
ICRA
2009
IEEE
161views Robotics» more  ICRA 2009»
16 years 1 months ago
Multi-vehicle path planning in dynamically changing environments
— In this paper, we propose a path planning method for nonholonomic multi-vehicle system in presence of moving obstacles. The objective is to find multiple fixed length paths f...
Ali Ahmadzadeh, Nader Motee, Ali Jadbabaie, George...
CDC
2008
IEEE
204views Control Systems» more  CDC 2008»
16 years 1 months ago
Dynamic ping optimization for surveillance in multistatic sonar buoy networks with energy constraints
— In this paper we study the problem of dynamic optimization of ping schedule in an active sonar buoy network deployed to provide persistent surveillance of a littoral area throu...
Anshu Saksena, I-Jeng Wang
IPPS
2007
IEEE
16 years 1 months ago
RASC: Dynamic Rate Allocation for Distributed Stream Processing Applications
In today’s world, stream processing systems have become important, as applications like media broadcasting, sensor network monitoring and on-line data analysis increasingly rely...
Yannis Drougas, Vana Kalogeraki