Sciweavers

248 search results - page 18 / 50
» Controlling Model Complexity in Flow Estimation
Sort
View
BMCBI
2007
153views more  BMCBI 2007»
13 years 8 months ago
Estimating genealogies from linked marker data: a Bayesian approach
Background: Answers to several fundamental questions in statistical genetics would ideally require knowledge of the ancestral pedigree and of the gene flow therein. A few examples...
Dario Gasbarra, Matti Pirinen, Mikko J. Sillanp&au...
ICCD
2006
IEEE
185views Hardware» more  ICCD 2006»
14 years 5 months ago
An accurate Energy estimation framework for VLIW Processor Cores
— In this paper, we present a comprehensive energy estimation framework for software executing on Very Long Instruction Word (VLIW) processor cores. The proposed energy model is ...
Sourav Roy, Rajat Bhatia, Ashish Mathur
DAC
1997
ACM
14 years 5 hour ago
Formal Verification of FIRE: A Case Study
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
Jae-Young Jang, Shaz Qadeer, Matt Kaufmann, Carl P...
GLOBECOM
2006
IEEE
14 years 2 months ago
Packet and Flow Level Performance of Wireless Multihop Data Networks
— We consider wireless multihop data networks with random multi-access mechanisms at the MAC layer. Our aim is to study the performance as perceived by users in a dynamic setting...
Nidhi Hegde, Alexandre Proutiere
IFIP
2007
Springer
14 years 2 months ago
Global Supply Chain Control
The operation of global manufacturing network is challenging due to the complexity in product and information flow, diversity in sites, localization and processes and the informati...
Heidi C. Dreyer, Ottar Bakås, Erlend Alfnes,...