Sciweavers

117 search results - page 19 / 24
» Modeling and control of a monopropellant-based pneumatic act...
Sort
View
ISSTA
2009
ACM
14 years 1 months ago
Specifying the worst case: orthogonal modeling of hardware errors
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
Jewgenij Botaschanjan, Benjamin Hummel
SERVICES
2010
105views more  SERVICES 2010»
13 years 4 months ago
Ensuring Resource-Level Quality for Services on Grids
Abstract--Service-Oriented Architectures address the development of distributed and dynamic service-based applications. Due to the dynamics of their environments, services should b...
Andre Lage Freitas, Jean-Louis Pazat, Nikos Parlav...
EMSOFT
2001
Springer
13 years 11 months ago
Giotto: A Time-Triggered Language for Embedded Programming
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
ICRA
2008
IEEE
173views Robotics» more  ICRA 2008»
14 years 1 months ago
Bayesian reinforcement learning in continuous POMDPs with application to robot navigation
— We consider the problem of optimal control in continuous and partially observable environments when the parameters of the model are not known exactly. Partially Observable Mark...
Stéphane Ross, Brahim Chaib-draa, Joelle Pi...
TCAD
2010
118views more  TCAD 2010»
13 years 1 months ago
Design Tools for Digital Microfluidic Biochips: Toward Functional Diversification and More Than Moore
Abstract--Microfluidics-based biochips enable the precise control of nanoliter volumes of biochemical samples and reagents. They combine electronics with biology, and they integrat...
Krishnendu Chakrabarty, Richard B. Fair, Jun Zeng