13500 search results - page 68 / 2700 » Improved analysis of D |
BILDMED
2007
14 years 11 months ago
2007
Abstract. Although angiography was originally designed as a morphological imaging modality, it is increasingly demanded to retrieve functional information from conventional angiogr...
109
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
14 years 11 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
TIP
2008
14 years 10 months ago
2008
Abstract--The wavelet transform as an important multiresolution analysis tool has already been commonly applied to texture analysis and classification. Nevertheless, it ignores the...
ICSE
2011
IEEE-ACM
14 years 1 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
CGO
2010
IEEE
15 years 5 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...