Sciweavers

1097 search results - page 105 / 220
» Partial evaluation of Maple
Sort
View
INFOCOM
2005
IEEE
15 years 10 months ago
Relevance of massively distributed explorations of the Internet topology: simulation results
— Internet maps are generally constructed using the traceroute tool from a few sources to many destinations. It appeared recently that this exploration process gives a partial an...
Jean-Loup Guillaume, Matthieu Latapy
SAC
2005
ACM
15 years 10 months ago
A strategy for selecting multiple components
This paper presents a systematic method for simultaneously defining a software architecture and selecting off-the-shelf components for reuse. The method builds upon existing tec...
Ed Mancebo, Anneliese Amschler Andrews
SIGMETRICS
2005
ACM
119views Hardware» more  SIGMETRICS 2005»
15 years 10 months ago
Characterizing the two-tier gnutella topology
Characterizing the properties of peer-to-peer (P2P) overlay topologies in file-sharing applications is essential for understanding their impact on the network, identifying their ...
Daniel Stutzbach, Reza Rejaie
IFL
2005
Springer
155views Formal Methods» more  IFL 2005»
15 years 10 months ago
A Binding Scope Analysis for Generic Programs on Arrays
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Sha...
ISMDA
2005
Springer
15 years 10 months ago
Endocardial Tracking in Contrast Echocardiography Using Optical Flow
Myocardial Contrast Echocardiography (MCE) is a recent technique that allows to measure regional perfusion in the cardiac wall. Segmentation of MCE sequences would allow simultaneo...
Norberto Malpica, Juan Francisco Garamendi, Manuel...