Sciweavers

4299 search results - page 310 / 860
» Concurrent Test Generation
Sort
View
BMCBI
2007
101views more  BMCBI 2007»
15 years 4 months ago
Robust detection and verification of linear relationships to generate metabolic networks using estimates of technical errors
Background: The size and magnitude of the metabolome, the ratio between individual metabolites and the response of metabolic networks is controlled by multiple cellular factors. A...
Frank Kose, Jan Budczies, Matthias Holschneider, O...
FPL
2004
Springer
94views Hardware» more  FPL 2004»
15 years 10 months ago
Evaluating Fault Emulation on FPGA
Abstract. We present an evaluation of accelerating fault simulation by hardware emulation on FPGA. Fault simulation is an important subtask in test pattern generation and it is fre...
Peeter Ellervee, Jaan Raik, Valentin Tihhomirov, K...
158
Voted
ICCAD
1994
IEEE
112views Hardware» more  ICCAD 1994»
15 years 8 months ago
Selecting partial scan flip-flops for circuit partitioning
This paper presents a new method of selecting scan ipops (FFs) in partial scan designs of sequential circuits. Scan FFs are chosen so that the whole circuit can be partitioned in...
Toshinobu Ono
AIIA
2005
Springer
15 years 10 months ago
Human-Robot Interaction Through Mixed-Initiative Planning for Rescue and Search Rovers
Abstract. In this paper we present a mixed-initiative planning approach to humanrobot interaction in a rescue domain. We deploy a model-based executive monitoring system to coordin...
Alberto Finzi, Andrea Orlandini
IPPS
2003
IEEE
15 years 10 months ago
Semi-Structured Portable Library for Multiprocessor Servers
The MiPPS library supports a hybrid model of parallel programming. The library is targeted at commodity multiprocessors, with support for clusters. The implementation of the concu...
Georgios Tsilikas, Martin Fleury