Sciweavers

6693 search results - page 886 / 1339
» On an anytime algorithm for control
Sort
View
INFOCOM
2008
IEEE
16 years 1 months ago
An Optimization Framework for Opportunistic Multipath Routing in Wireless Mesh Networks
—We consider wireless mesh networks, and exploit the inherent broadcast nature of wireless by making use of multipath routing. We present an optimization framework that enables u...
Bozidar Radunovic, Christos Gkantsidis, Peter B. K...
RTSS
2008
IEEE
16 years 1 months ago
Symbolic Computation of Schedulability Regions Using Parametric Timed Automata
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
Alessandro Cimatti, Luigi Palopoli, Yusi Ramadian
SASO
2008
IEEE
16 years 1 months ago
WSN and P2P: A Self-Managing Marriage
Wireless sensor networks are designed for a very wide, yet specific, purpose. Their components have processing and power limitations. Due to these limitations, decisions by runni...
Gustavo Gutierrez, Boris Mejías, Peter Van ...
TPHOL
2008
IEEE
16 years 1 months ago
Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
Daniel Wasserrab, Andreas Lochbihler
VTC
2008
IEEE
113views Communications» more  VTC 2008»
16 years 1 months ago
V2V Communications in Automotive Multi-Sensor Multi-Target Tracking
—Today’s automotive sensor systems for in-vehicle based target tracking, i.e. radar, lidar, camera, are limited to a field of view which is restricted by distance, angle and l...
Matthias Röckl, Thomas Strang, Matthias Kranz