1090 search results - page 114 / 218 » Type-Directed Partial Evaluation |
SIGMETRICS
2005
ACM
14 years 4 months ago
2005
ACM
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 ...
IFL
2005
Springer
14 years 4 months ago
2005
Springer
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...
ISMDA
2005
Springer
14 years 4 months ago
2005
Springer
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...
ISMIS
2005
Springer
14 years 4 months ago
2005
Springer
We address the problem of loading transactional datasets into main memory and estimating the density of such datasets. We propose BoolLoader, an algorithm dedicated to these tasks;...
PPDP
2005
Springer
14 years 4 months ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...