Work-in-Progress Session
Two-Level
Priority Real-Time Scheduling Strategy for Node System in Wireless Sensor
Network
Lan Yao, Fuxiang Gao, Xiuli Cui, Ge Yu, and Chao Shang
Similarities
between Timing Constraint Sets: Towards Interchangeable Constraint Models for Real-World
Software Systems
Yue Yu and Shangping Ren
Precognitive
DVFS: Minimizing Switching Points to Further Reduce the Energy Consumption
Farooq Muhammad, Bhatti M. Khurram, Fabrice Muller, Cecile Belleudy, and
Michel Auguin
Towards
Exploiting the Preservation Strategy of Deferrable Servers
Reinder J. Bril and Pieter J.L. Cuijpers
Adaptive
Path Scheduling for Mobile Element to Prolong the Lifetime of Wireless Sensor
Networks
Dakai Zhu and Ali Saman Tosun
Feedback
Scheduling of Real-Time Divisible Loads in Clusters
Duc Luong, Jitender Deogun, and Steve Goddard
Developing
New Models to Reason about Time and Space
Jitender S. Deogun and Steve Goddard
A
Compositional Transformation to Bridge the Gap between the Technical System and
the Computational System
Dieter Zöbel
Slack-based
Sensitivity Analysis for EDF
Cesare Bartolini, Enrico Bini, and Giuseppe Lipari
On Frequency
Optimization for Power Saving in WSNs
Andreea Maria Picu, Antoine Fraboulet, and Eric Fleury
Towards Automatic Translation
to Temporally Predictable Code
Robert Staudinger
Checkpointing
Implementation for Real-time and Fault Tolerant Applications on RTAI
Ling Qiu, Nianen Chen, and Shangping Ren
A 2000 Frames / s
Programmable Binary Image Processor Chip for Real Time Machine Vision
Applications
A. Loos and D. Fey
Providing QoS by
Scheduling Interrupt Threads
Gabriele Modena, Luca Abeni, and Luigi Palopoli
On the Benefits of
Relaxing the Periodicity Assumption for Control Tasks
Adolfo Anta and Paulo Tabuada
Mapping Overlay
Networks for Real-Time Applications
Jawwad Shamsi and Monica Brockmeyer
Towards a Model-based
Toolchain for the High-Confidence Design of Embedded Systems
János Sztipanovits, Gábor Karsai, Sandeep Neema, Harmon Nine, Joseph Porter, Ryan Thibodeaux, and Péter Völgyesi
Adding the Time
Dimension to Majority Voting Strategies
Hüseyin Aysan, Sasikumar Punnekkat, and Radu Dobrin
An Experimental Model
for the Verification of Dynamic Voltage-Scaling Scheduling Techniques on
Embedded Systems
William Wiles and Gang Quan
Toward an Effective
Execution Policy for Distributed Real-Time Embedded Systems
Thomas Huining Feng, Edward A. Lee, Hiren D. Patel, and Jia Zou
Cooperative Network
and Energy Management for Reservation-based Wireless Real-Time Environments
Jun Yi, Christian Poellabauer, Xiaobo Sharon Hu, Dinesh Rajan, and Liqiang Zhang
Maximizing Job
Benefits on Multiprocessor Systems Using a Greedy Algorithm
Behnaz Sanati and Albert M. K. Cheng
Timing Analysis of
the Priority based FRP System
Chaitanya
Belwal, Albert MK Cheng, Walid Taha, and Angela Zhu
A Testbed for Secure
and Robust SCADA Systems
Annarita
Giani, Gabor Karsai, Tanya Roosta, Aakash Shah, Bruno Sinopoli, and Jon Wiley
Partial Program
Admission by Path Enumeration
Michael
Wilson, Ron Cytron, and Jonathan Turner
Program committee:
- Chair
|
|
|
|
|
|
|
Ying Lu University of Nebraska – Lincoln, USA |
|
|
- Committee
|
|
|
|
|
|
|
Zonghua Gu Hong Kong University of
Science and Technology, China |
|
Kyoung-Don Kang State University of New
York at Binghamton, USA |
|
|
Xue Liu McGill University, Canada |
|
Shangping
Ren Illinois
Institute of Technology, USA |
Any
request for more information can be sent to Ying Lu (ylu@cse.unl.edu)