Sciweavers

250 search results - page 29 / 50
» Implementing a Control System Framework for Automatic Genera...
Sort
View
BMCBI
2007
108views more  BMCBI 2007»
13 years 7 months ago
Design and implementation of a generalized laboratory data model
Background: Investigators in the biological sciences continue to exploit laboratory automation methods and have dramatically increased the rates at which they can generate data. I...
Michael C. Wendl, Scott Smith, Craig S. Pohl, Davi...
ACSD
2007
IEEE
81views Hardware» more  ACSD 2007»
14 years 1 months ago
A model-driven design approach for mechatronic systems
The software design is one of the most challenging tasks during the design of a mechatronic system. On one hand, it has to provide solutions to deal with concurrency and timelines...
Jinfeng Huang, Jeroen Voeten, Marcel A. Groothuis,...
ICRA
2003
IEEE
144views Robotics» more  ICRA 2003»
14 years 27 days ago
Error-tolerant execution of complex robot tasks based on skill primitives
— This paper presents a general approach to specify and execute complex robot tasks considering uncertain environments. Robot tasks are defined by a precise definition of socal...
Ulrike Thomas, Bernd Finkemeyer, Torsten Krög...
FORTE
1997
13 years 9 months ago
Refusal Testing for Classes of Transition Systems with Inputs and Outputs
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
Lex Heerink, Jan Tretmans
ASPDAC
2010
ACM
129views Hardware» more  ASPDAC 2010»
13 years 5 months ago
System-level development of embedded software
Abstract-- Embedded software plays an increasingly important role in implementing modern embedded systems. Development of embedded software, and of Hardware-dependent Software in p...
Gunar Schirner, Andreas Gerstlauer, Rainer Dö...