Sciweavers

18924 search results - page 70 / 3785
» Conformance of Distributed Systems
Sort
View
149
Voted
EMSOFT
2009
Springer
15 years 9 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
99
Voted
ICRA
2010
IEEE
108views Robotics» more  ICRA 2010»
15 years 1 months ago
Multi-turn, tension-stiffening catheter navigation system
—In poorly constrained extra-vascular environments such as hollow viscera, current catheter navigation techniques are restricted to simple paths and therefore limit a doctor’s ...
Yi Chen, Jean H. Chang, Alison S. Greenlee, Kennet...
107
Voted
IPPS
2009
IEEE
15 years 9 months ago
Accommodating bursts in distributed stream processing systems
Yannis Drougas, Vana Kalogeraki