Search Sciweavers | Sciweavers

22

TII
2010

124views Education» more TII 2010»

Address-Independent Estimation of the Worst-case Memory Performance

13 years 1 days ago

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

claim paper

Read More »

17

click to vote

TII
2010

113views Education» more TII 2010»

An Automated Framework for Formal Verification of Timed Continuous Petri Nets

13 years 1 days ago

Download iasi.bu.edu

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...

claim paper

Read More »

20

click to vote

TII
2010

166views Education» more TII 2010»

Source-to-Source Architecture Transformation for Performance Optimization in BIP

13 years 1 days ago

Download www-verimag.imag.fr

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

claim paper

Read More »

19

click to vote

TII
2010

146views Education» more TII 2010»

PAUC: Power-Aware Utilization Control in Distributed Real-Time Systems

13 years 1 days ago

Download www.cs.mcgill.ca

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

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers