2278 search results - page 263 / 456 » Specification Techniques for Automatic Performance Analysis ... |
145
click to vote
CGO
2010
IEEE
16 years 1 months ago
2010
IEEE
Prior work has shown that reduced, ordered, binary decision diagrams (BDDs) can be a powerful tool for program trace analysis and visualization. Unfortunately, it can take hours o...
157
click to vote
INFOCOM
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract— This paper investigates the reliability of applicationlevel multicast based on a distributed hash table (DHT) in a highly dynamic network. Using a node residual lifetim...
138
click to vote
CAIP
2005
Springer
15 years 11 months ago
2005
Springer
Image segmentation is discussed for years in numerous papers, but assessing its quality is mainly dealt with in recent works. Quality assessment is a primary concern for anyone wor...
161
Voted
SMA
2008
ACM
15 years 6 months ago
2008
ACM
Quadrangular remeshing of triangulated surfaces has received an increasing attention in recent years. A particularly elegant approach is the extraction of quads from the streamlin...
188
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...