Sciweavers

4688 search results - page 642 / 938
» Dynamics of Control
Sort
View
IWSSD
2000
IEEE
15 years 11 months ago
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
Frederick T. Sheldon, Stefan Greiner, Matthias Ben...
ISPASS
2010
IEEE
15 years 11 months ago
PEBIL: Efficient static binary instrumentation for Linux
Binary instrumentation facilitates the insertion of additional code into an executable in order to observe or modify the executable's behavior. There are two main approaches t...
Michael Laurenzano, Mustafa M. Tikir, Laura Carrin...
ATAL
1999
Springer
15 years 11 months ago
A Planning Component for RETSINA Agents
In the RETSINA multi-agent system, each agent is provided with an internal planning component—the RETSINA planner. Each agent, using its internal planner, formulates detailed pla...
Massimo Paolucci, Onn Shehory, Katia P. Sycara, Di...
ICRA
1998
IEEE
177views Robotics» more  ICRA 1998»
15 years 11 months ago
The Coulomb Pump: a Novel Parts Feeding Method Using a Horizontally-Vibrating Surface
Part feeders, which singulate and orient parts prior to packing and insertion, are critical components of an assembly line. Existing feeders utilize o -plane vibrations of a rigid...
Dan Reznik, John F. Canny
APSEC
1997
IEEE
15 years 11 months ago
A Test-case Generation Method for Concurrent Programs Including Task-types
A task-type in concurrent programs is a template of task-instances which are dynamically generated in execution of the programs. The number of the generated taskinstances may not ...
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima