Sciweavers

2205 search results - page 308 / 441
» Mutation Operators for Specifications
Sort
View
CHI
2010
ACM
15 years 11 months ago
BioTISCH: the interactive molecular biology lab bench
In a molecular biology lab, scientists often need to execute strictly defined sequences of operations, typically mixing specific amounts of reagents. The exact steps require infor...
Florian Echtler, Maximilian Häussler, Gudrun ...
CBMS
2009
IEEE
15 years 11 months ago
Vision-based, real-time retinal image quality assessment
— Real-time medical image quality is a critical requirement in a number of healthcare environments, including ophthalmology where studies suffer loss of data due to unusable (ung...
Herbert Davis, Stephen R. Russell, Eduardo S. Barr...
FCCM
2002
IEEE
171views VLSI» more  FCCM 2002»
15 years 11 months ago
Coarse-Grain Pipelining on Multiple FPGA Architectures
Reconfigurable systems, and in particular, FPGA-based custom computing machines, offer a unique opportunity to define application-specific architectures. These architectures offer...
Heidi E. Ziegler, Byoungro So, Mary W. Hall, Pedro...
ISSRE
2002
IEEE
15 years 11 months ago
Fault Contribution Trees for Product Families
Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...
Dingding Lu, Robyn R. Lutz
ISSS
2002
IEEE
174views Hardware» more  ISSS 2002»
15 years 11 months ago
A Run-Time Word-Level Reconfigurable Coarse-Grain Functional Unit for a VLIW Processor
Nowadays, new DSP applications are offering combined and flexible multimedia and telecom services. VLIW processor architectures, which include dedicated but inflexible functional ...
Carles Rodoreda Sala, Natalino G. Busá