Sciweavers

4228 search results - page 240 / 846
» Models and Methods in Comparative Genomics
Sort
View
DAC
2005
ACM
15 years 6 months ago
Performance space modeling for hierarchical synthesis of analog integrated circuits
Automated analog sizing is becoming an unavoidable solution for increasing analog design productivity. The complexity of typical analog SoC subsystems however calls for efficient ...
Georges G. E. Gielen, Trent McConaghy, Tom Eeckela...
FORMATS
2008
Springer
15 years 6 months ago
Formal Modeling and Scheduling of Datapaths of Digital Document Printers
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
Georgeta Igna, Venkatesh Kannan, Yang Yang, Twan B...
DSN
2007
IEEE
15 years 10 months ago
Variational Bayesian Approach for Interval Estimation of NHPP-Based Software Reliability Models
In this paper, we present a variational Bayesian (VB) approach to computing the interval estimates for nonhomogeneous Poisson process (NHPP) software reliability models. This appr...
Hiroyuki Okamura, Michael Grottke, Tadashi Dohi, K...
GLOBECOM
2006
IEEE
15 years 10 months ago
Bandwidth Constraint Models: A Performance Study with Preemption on Link Failures
— Bandwidth constraint models have been a topic of intense discussions at the IETF meetings. Three conventional methods have been described in informational IETF RFCs and their p...
Joshua B. Goldberg, Sukrit Dasgupta, Jaudelice Cav...
MIAR
2006
IEEE
15 years 10 months ago
Improved Shape Modeling of Tubular Objects Using Cylindrical Parameterization
Statistical shape modeling is widely used for medical image segmentation and interpretation. The main problem in building a shape model is the construction of a pointwise correspon...
Toon Huysmans, Jan Sijbers, Filiep Vanpoucke, Brig...