Sciweavers

3871 search results - page 409 / 775
» A System Architecture for Distributed Control Loop Applicati...
Sort
View
DAC
2000
ACM
16 years 7 months ago
Dynamic power management of complex systems using generalized stochastic Petri nets
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...
Qinru Qiu, Qing Wu, Massoud Pedram
BIRTHDAY
2006
Springer
15 years 10 months ago
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
Steffen Knapp, Wolfgang J. Paul
WSC
1997
15 years 8 months ago
SmartATMS: A Simulator for Air Traffic Management Systems
Air Traffic Management Systems (ATMS) of the future will feature Free Flight, in which aircraft choose their own routes, altitude, and speed, and automated conflict resolution me...
Tak-Kuen John Koo, Yi Ma, George J. Pappas, Claire...
ICCS
2004
Springer
16 years 5 days ago
Using Runtime Measurements and Historical Traces for Acquiring Knowledge in Parallel Applications
Abstract. A new approach for acquiring knowledge of parallel applications regarding resource usage and for searching similarity on workload traces is presented. The main goal is to...
Luciano José Senger, Marcos José San...
RAM
2008
IEEE
163views Robotics» more  RAM 2008»
16 years 1 months ago
Reactive Gaze Control for Natural Human-Robot Interactions
Abstract—Nonverbal behavior during human-human close encounters is critical to the accomplishment of natural interaction. For this reason, humanoid robots trying to achieve natur...
Yasser F. O. Mohammad, Toyoaki Nishida