Sciweavers

4287 search results - page 672 / 858
» Assessing Architectural Complexity
Sort
View
DAC
2006
ACM
16 years 6 months ago
Criticality computation in parameterized statistical timing
Chips manufactured in 90 nm technology have shown large parametric variations, and a worsening trend is predicted. These parametric variations make circuit optimization difficult ...
Jinjun Xiong, Vladimir Zolotov, Natesan Venkateswa...
SIGSOFT
2003
ACM
16 years 5 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
ISBI
2008
IEEE
16 years 5 months ago
Detection of multiple pathways in the spinal cord white matter using q-ball imaging
High angular resolution MRI such as q-ball imaging (QBI) allows to recover complex white matter architecture. We applied this technique to an ex vivo spinal cord of one cat using ...
Julien Cohen-Adad, Maxime Descoteaux, Serge Rossig...
126
Voted
ISBI
2008
IEEE
16 years 5 months ago
Fast nonlocal filtering applied to electron cryomicroscopy
We present an efficient algorithm for nonlocal image filtering with applications in electron cryomicroscopy. Our denoising algorithm is a rewriting of the recently proposed nonloc...
Alexandre Cunha, Grant J. Jensen, Jérô...
WWW
2004
ACM
16 years 5 months ago
An application server for the semantic web
The Semantic Web relies on the complex interaction of several technologies involving ontologies. Therefore, sophisticated Semantic Web applications typically comprise more than on...
Daniel Oberle, Steffen Staab, Raphael Volz