Sciweavers

1097 search results - page 105 / 220
» Partial evaluation of Maple
Sort
View
INFOCOM
2005
IEEE
15 years 3 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 3 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 3 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 3 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 3 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...