Sciweavers

TII
2010
166views Education» more  TII 2010»
13 years 6 months ago
Source-to-Source Architecture Transformation for Performance Optimization in BIP
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
Marius Bozga, Mohamad Jaber, Joseph Sifakis
TII
2010
146views Education» more  TII 2010»
13 years 6 months ago
PAUC: Power-Aware Utilization Control in Distributed Real-Time Systems
Abstract--CPU utilization control has recently been demonstrated to be an effective way of meeting end-to-end deadlines for distributed real-time systems running in unpredictable e...
Xiaorui Wang, Xing Fu, Xue Liu, Zonghua Gu
TII
2010
110views Education» more  TII 2010»
13 years 6 months ago
An Efficient Threshold-Based Power Management Mechanism for Heterogeneous Soft Real-Time Clusters
With growing cost of electricity, the power management of server clusters has become an important problem. However, most previous researchers only address the challenge in homogen...
Leping Wang, Ying Lu
TII
2010
155views Education» more  TII 2010»
13 years 6 months ago
Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard
-This paper deals with refactoring of execution control charts of IEC 61499 basic function blocks as a means to improve the engineering support potential of the standard in develop...
Valeriy Vyatkin, Victor Dubinin
TII
2010
113views Education» more  TII 2010»
13 years 6 months ago
An Automated Framework for Formal Verification of Timed Continuous Petri Nets
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
Marius Kloetzer, Cristian Mahulea, Calin Belta, Ma...
TII
2010
139views Education» more  TII 2010»
13 years 6 months ago
The Impact of Temperature on Outdoor Industrial WSN Applications
The industrial world is currently considering the adoption of Wireless Sensor Networks (WSN) for industrial process and control applications. However, when using wireless sensor n...
Carlo Alberto Boano, James Brown, Nicolas Tsiftes,...
TII
2010
124views Education» more  TII 2010»
13 years 6 months ago
Address-Independent Estimation of the Worst-case Memory Performance
Abstract--Real-time systems are subject to temporal constraints and require a schedulability analysis to ensure that task execution finishes within lower and upper specified bounds...
Basilio B. Fraguela, Diego Andrade, Ramon Doallo
TII
2010
108views Education» more  TII 2010»
13 years 6 months ago
Retransmission Strategies for Cyclic Polling over Wireless Channels in the Presence of Interference
In this paper we consider retransmission strategies for centralized cyclic polling-based systems over wireless channels subject to external interference. The considered strategies...
Giovanni Gamba, Federico Tramarin, Andreas Willig
TII
2010
146views Education» more  TII 2010»
13 years 6 months ago
A Flexible Design Flow for Software IP Binding in FPGA
Software intellectual property (SWIP) is a critical component of increasingly complex field programmable gate arrays (FPGA)-based system-on-chip (SOC) designs. As a result, develop...
Michael A. Gora, Abhranil Maiti, Patrick Schaumont