Sciweavers

2503 search results - page 286 / 501
» A study of 3-arc graphs
Sort
View
ICRA
2005
IEEE
124views Robotics» more  ICRA 2005»
15 years 11 months ago
Physical Path Planning Using the GNATs
— We continue our investigation into the application of pervasive, embedded networks to support multi-robot tasks. In this work we use a new a hardware platform, the GNATs, to ai...
Keith J. O'Hara, Victor Bigio, Eric R. Dodson, Ary...
ICSM
2005
IEEE
15 years 11 months ago
Towards Employing Use-Cases and Dynamic Analysis to Comprehend Mozilla
This paper presents an approach for comprehending large software systems using views that are created by subjecting the software systems to dynamic analysis under various use-case...
Maher Salah, Spiros Mancoridis, Giuliano Antoniol,...
LICS
2005
IEEE
15 years 11 months ago
Mean-Payoff Parity Games
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
Krishnendu Chatterjee, Thomas A. Henzinger, Marcin...
GD
2005
Springer
15 years 11 months ago
Incremental Connector Routing
Most diagram editors and graph construction tools provide some form of automatic connector routing, typically providing orthogonal or poly-line connectors. Usually the editor provi...
Michael Wybrow, Kim Marriott, Peter J. Stuckey
196
Voted
ICDCIT
2005
Springer
15 years 11 months ago
Analyzing Loop Paths for Execution Time Estimation
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...
Abhik Roychoudhury, Tulika Mitra, Hemendra Singh N...