Sciweavers

269 search results - page 49 / 54
» Automating the Generation of Platform Specific Models
Sort
View
BMCBI
2006
93views more  BMCBI 2006»
14 years 9 months ago
Evaluation of absolute quantitation by nonlinear regression in probe-based real-time PCR
Background: In real-time PCR data analysis, the cycle threshold (CT) method is currently the gold standard. This method is based on an assumption of equal PCR efficiency in all re...
Rasmus Goll, Trine Olsen, Guanglin Cui, Jon Florho...
CADE
2005
Springer
15 years 9 months ago
Privacy-Sensitive Information Flow with JML
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
Guillaume Dufay, Amy P. Felty, Stan Matwin
DSD
2003
IEEE
138views Hardware» more  DSD 2003»
15 years 2 months ago
A Two-step Genetic Algorithm for Mapping Task Graphs to a Network on Chip Architecture
Network on Chip (NoC) is a new paradigm for designing core based System on Chip which supports high degree of reusability and is scalable. In this paper we describe an efficient t...
Tang Lei, Shashi Kumar
ICST
2008
IEEE
15 years 3 months ago
Designing and Building a Software Test Organization
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
Bruce Benton
IHI
2010
109views Healthcare» more  IHI 2010»
14 years 4 months ago
Process-based derivation of requirements for medical devices
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
Heather M. Conboy, George S. Avrunin, Lori A. Clar...