Sciweavers

3545 search results - page 567 / 709
» Computational methods for case-cohort studies
Sort
View
DAC
2009
ACM
16 years 7 months ago
Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis
In this paper, a design method for automotive architectures is proposed. The two main technical contributions are (i) a novel hardware/software architecture encoding that unifies ...
Jürgen Teich, Martin Lukasiewycz, Michael Gla...
DAC
2005
ACM
16 years 7 months ago
Minimising buffer requirements of synchronous dataflow graphs with model checking
Signal processing and multimedia applications are often implemented on resource constrained embedded systems. It is therefore important to find implementations that use as little ...
Marc Geilen, Twan Basten, Sander Stuijk
DAC
2005
ACM
16 years 7 months ago
Power optimal dual-Vdd buffered tree considering buffer stations and blockages
This paper presents the first in-depth study on applying dual Vdd buffers to buffer insertion and multi-sink buffered tree construction for power minimization under delay constrai...
King Ho Tam, Lei He
MICCAI
2006
Springer
16 years 7 months ago
Shape-Driven 3D Segmentation Using Spherical Wavelets
Abstract. This paper presents a novel active surface segmentation algorithm using a multiscale shape representation and prior. We define a parametric model of a surface using spher...
Delphine Nain, Steven Haker, Aaron F. Bobick, Alle...
MICCAI
2006
Springer
16 years 7 months ago
GPU Based Real-Time Instrument Tracking with Three Dimensional Ultrasound
Abstract. Real-time 3D ultrasound can enable new image-guided surgical procedures, but high data rates prohibit the use of traditional tracking techniques. We present a new method ...
Paul M. Novotny, Jeffrey A. Stoll, Nikolay V. Vasi...