Sciweavers

9210 search results - page 164 / 1842
» Analyzing Real-Time Systems
Sort
View
FORMATS
2009
Springer
14 years 1 months ago
Safe Runtime Verification of Real-Time Properties
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
Christian Colombo, Gordon J. Pace, Gerardo Schneid...
ECRTS
2004
IEEE
14 years 28 days ago
On Energy-Constrained Real-Time Scheduling
In this paper, we explore the feasibility and performance optimization problems for real-time systems that must remain functional during an operation/mission with a fixed, initial...
Tarek A. AlEnawy, Hakan Aydin
SIES
2010
IEEE
13 years 7 months ago
An Energy-Aware Algorithm for TDMA MAC Protocols in Real-Time Wireless Networks
Abstract--In distributed embedded systems operated by battery, energy management is a critical issue that has to be addressed at different architecture levels. For systems that tig...
Gianluca Franchino, Giorgio C. Buttazzo, Mauro Mar...
CORR
2011
Springer
139views Education» more  CORR 2011»
13 years 29 days ago
Volatility of Power Grids under Real-Time Pricing
—The paper proposes a framework for modeling and analysis of the dynamics of supply, demand, and clearing prices in power system with real-time retail pricing and information asy...
Mardavij Roozbehani, Munther Dahleh, Sanjoy K. Mit...
RTAS
2009
IEEE
14 years 3 months ago
Energy-Conscious Co-scheduling of Tasks and Packets in Wireless Real-Time Environments
Jun Yi, Christian Poellabauer, Xiaobo Sharon Hu, J...