Sciweavers

2266 search results - page 242 / 454
» Generalizing parametric timing analysis
Sort
View
100
Voted
INFOCOM
2003
IEEE
15 years 6 months ago
Computing the Types of the Relationships between Autonomous Systems
— We investigate the problem of computing the types of the relationships between Internet Autonomous Systems. We refer to the model introduced in [1], [2] that bases the discover...
Giuseppe Di Battista, Maurizio Patrignani, Maurizi...
91
Voted
IBPRIA
2003
Springer
15 years 6 months ago
Non-rigid Registration of Vessel Structures in IVUS Images
Abstract. We present a registration and retrieval algorithm of medical images. Our algorithm is oriented in a general fashion towards gray level medical images of non-rigid bodies ...
Jaume Amores, Petia Radeva
99
Voted
ISSS
2002
IEEE
138views Hardware» more  ISSS 2002»
15 years 5 months ago
An Object-Oriented Design Process for System-on-Chip Using UML
The object-oriented design process has been a hot topic in software development since it will improve product quality and productivity significantly, which is also a major issue i...
Tsuneo Nakata, Akio Matsuda, Minoru Shoji, Shinya ...
101
Voted
STOC
2010
ACM
193views Algorithms» more  STOC 2010»
15 years 5 months ago
Maintaining a large matching and a small vertex cover
We consider the problem of maintaining a large matching and a small vertex cover in a dynamically changing graph. Each update to the graph is either an edge deletion or an edge in...
Krzysztof Onak, Ronitt Rubinfeld
80
Voted
EUROPAR
2001
Springer
15 years 5 months ago
A Component Framework for HPC Applications
Abstract. We describe a general component software framework designed for demanding grid environments that provides optimal performance for the assembled component application. Thi...
Nathalie Furmento, Anthony Mayer, Stephen McGough,...