Sciweavers

8109 search results - page 1091 / 1622
» A Model of Component-Based Programming
Sort
View
ICRA
2002
IEEE
146views Robotics» more  ICRA 2002»
16 years 3 days ago
Intercepting a Falling Object: Digital Video Robot
Human based algorithms to catch fly balls have been research and studied. In this paper, the validity of the human models are tested by catching balls that are dropped vertically...
Keshav Mundhra, Anthony Suluh, Thomas Sugar, Micha...
CDC
2009
IEEE
124views Control Systems» more  CDC 2009»
15 years 12 months ago
Design of insulating devices for in vitro synthetic circuits
— This paper describes a synthetic in vitro genetic circuit programmed to work as an insulating device. This circuit is composed of nucleic acids, which can be designed to intera...
Elisa Franco, Domitilla Del Vecchio, Richard M. Mu...
CDC
2009
IEEE
121views Control Systems» more  CDC 2009»
15 years 12 months ago
Piecewise-linear constrained control for timed continuous Petri nets
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
Carlos Renato Vázquez, Manuel Silva
LCTRTS
2001
Springer
15 years 11 months ago
ILP-based Instruction Scheduling for IA-64
The IA-64 architecture has been designed as a synthesis of VLIW and superscalar design principles. It incorporates typical functionality known from embedded processors as multiply...
Daniel Kästner, Sebastian Winkel
ECRTS
2000
IEEE
15 years 11 months ago
Towards validated real-time software
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
Valérie Bertin, Michel Poize, Jacques Pulou...
« Prev « First page 1091 / 1622 Last » Next »