Sciweavers

444 search results - page 52 / 89
» Hybrid Decentralized Control of Large Scale Systems
Sort
View
108
Voted
ASPLOS
2010
ACM
15 years 8 months ago
CoreDet: a compiler and runtime system for deterministic multithreaded execution
The behavior of a multithreaded program does not depend only on its inputs. Scheduling, memory reordering, timing, and low-level hardware effects all introduce nondeterminism in t...
Tom Bergan, Owen Anderson, Joseph Devietti, Luis C...
128
Voted
ICETE
2004
204views Business» more  ICETE 2004»
15 years 3 months ago
A Real-Time Intrusion Prevention System for Commercial Enterprise Databases
: - Modern intrusion detection systems are comprised of three basically different approaches, host based, network based, and a third relatively recent addition called procedural ba...
Ulf T. Mattsson
SIAMSC
2010
198views more  SIAMSC 2010»
15 years 8 days ago
Analysis of Block Parareal Preconditioners for Parabolic Optimal Control Problems
In this paper, we describe block matrix algorithms for the iterative solution of large scale linear-quadratic optimal control problems arising from the optimal control of parabolic...
Tarek P. Mathew, Marcus Sarkis, Christian E. Schae...
ICRA
1999
IEEE
82views Robotics» more  ICRA 1999»
15 years 6 months ago
An Investigation into Non-Smooth Locomotion
We analyze a class of mechanisms that locomote by switching between constraints. Because of the hybrid nature of such systems, most of the existing analysis tools, developed prima...
Milos Zefran, Francesco Bullo, Jim Radford
123
Voted
ITNG
2010
IEEE
15 years 6 months ago
QARI: Quality Aware Software Deployment for Wireless Sensor Networks
Abstract--If we are to deploy sensor applications in a realistic business context, we must provide innovative middleware services to control and enforce required system behavior; i...
Wouter Horré, Sam Michiels, Wouter Joosen, ...