13631 search results - page 2384 / 2727 » Event-Based Performance Analysis |
271
click to vote
POPL
2004
ACM
16 years 5 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
159
click to vote
RECOMB
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. One phylogeny-based approach to horizontal gene transfer (HGT) detection entails comparing the topology of a gene tree to that of the species tree, and using their differ...
152
click to vote
EDBT
2006
ACM
16 years 5 months ago
2006
ACM
In [12] we introduce a novel architecture for data processing, based on a functional fusion between a data and a computation layer. In this demo we show how this architecture is le...
136
click to vote
ICIAP
2001
Springer
16 years 5 months ago
2001
Springer
We propose a novel representation for characterizing image differences using a deformable technique for obtaining pixel-wise correspondences. This representation, which is based o...
144
click to vote
PERCOM
2006
ACM
16 years 4 months ago
2006
ACM
Many information services in pervasive computing offer rich information, which is information that includes other types of information. For example, the information listed in a pe...