Sciweavers

1347 search results - page 56 / 270
» A Web-based requirements analysis tool
Sort
View
BMCBI
2006
103views more  BMCBI 2006»
13 years 11 months ago
Improving missing value imputation of microarray data by using spot quality weights
Background: Microarray technology has become popular for gene expression profiling, and many analysis tools have been developed for data interpretation. Most of these tools requir...
Peter Johansson, Jari Häkkinen
CAV
2012
Springer
334views Hardware» more  CAV 2012»
12 years 1 months ago
Joogie: Infeasible Code Detection for Java
We present Joogie, a tool that detects infeasible code in Java programs. Infeasible code is code that does not occur on feasible controlflow paths and thus has no feasible executi...
Stephan Arlt, Martin Schäf
ICECCS
2009
IEEE
161views Hardware» more  ICECCS 2009»
14 years 5 months ago
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
Jeremy Bryans, John S. Fitzgerald, Alexander Roman...
FDL
2006
IEEE
14 years 5 months ago
Design Structure Analysis and Transaction Recording in SystemC
We present an introspection/reflection framework for SystemC which extracts design-relevant structure information and transaction data under any LRM-2.1 compliant simulation kern...
Wolfgang Klingauf, Manuel Geffken
BMCBI
2004
174views more  BMCBI 2004»
13 years 11 months ago
SeeGH - A software tool for visualization of whole genome array comparative genomic hybridization data
Background: Array comparative genomic hybridization (CGH) is a technique which detects copy number differences in DNA segments. Complete sequencing of the human genome and the dev...
Bryan Chi, Ronald J. deLeeuw, Bradley P. Coe, Calu...