Sciweavers

306 search results - page 54 / 62
» Testing additive integrality gaps
Sort
View
CASES
2011
ACM
13 years 11 months ago
Cost-effective safety and fault localization using distributed temporal redundancy
Cost pressure is driving vendors of safety-critical systems to integrate previously distributed systems. One natural approach we have previous introduced is On-Demand Redundancy (...
Brett H. Meyer, Benton H. Calhoun, John Lach, Kevi...
CASES
2006
ACM
15 years 5 months ago
Modeling heterogeneous SoCs with SystemC: a digital/MEMS case study
Designers of SoCs with non-digital components, such as analog or MEMS devices, can currently use high-level system design languages, such as SystemC, to model only the digital par...
Ankush Varma, Muhammad Yaqub Afridi, Akin Akturk, ...
BMCBI
2004
161views more  BMCBI 2004»
14 years 11 months ago
Three-parameter lognormal distribution ubiquitously found in cDNA microarray data and its application to parametric data treatme
Background: To cancel experimental variations, microarray data must be normalized prior to analysis. Where an appropriate model for statistical data distribution is available, a p...
Tomokazu Konishi
JMS
2010
109views more  JMS 2010»
14 years 6 months ago
Newborn Screening Healthcare Information System Based on Service-Oriented Architecture
In this paper, we established a newborn screening system under the HL7/Web Services frameworks. We rebuilt the NTUH Newborn Screening Laboratory's original standalone architec...
Sung-huai Hsieh, Sheau-Ling Hsieh, Yin-Hsiu Chien,...
ICCS
2009
Springer
15 years 6 months ago
A Scalable and Adaptable Solution Framework within Components of the Community Climate System Model
Abstract. A framework for a fully implicit solution method is implemented into (1) the High Order Methods Modeling Environment (HOMME), which is a spectral element dynamical core o...
Katherine J. Evans, Damian W. I. Rouson, Andrew G....