Sciweavers

7274 search results - page 1352 / 1455
» Abstractions for network update
Sort
View
129
Voted
CSL
2010
Springer
15 years 4 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
152
Voted
DATE
2010
IEEE
154views Hardware» more  DATE 2010»
15 years 4 months ago
Computing robustness of FlexRay schedules to uncertainties in design parameters
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...
Arkadeb Ghosal, Haibo Zeng, Marco Di Natale, Yakov...
131
Voted
EUROPAR
2010
Springer
15 years 4 months ago
Hierarchical Work-Stealing
Abstract. We study the problem of dynamic load-balancing on hierarchical platforms. In particular, we consider applications involving heavy communications on a distributed platform...
Jean-Noël Quintin, Frédéric Wag...
137
Voted
EUROPAR
2010
Springer
15 years 4 months ago
Collaborative Cellular-Based Location System
Abstract. A large number of techniques for location estimation relying on the existing wireless radio infrastructures have been proposed in the last few years. Solutions relying on...
David Navalho, Nuno M. Preguiça
140
Voted
DAIS
2009
15 years 4 months ago
Foraging for Better Deployment of Replicated Service Components
Abstract. Our work focuses on distributed software services and their requirements in terms of system performance and dependability. We target the problem of finding optimal deploy...
Máté J. Csorba, Hein Meling, Poul E....
« Prev « First page 1352 / 1455 Last » Next »