Sciweavers

4164 search results - page 277 / 833
» Timing model reduction for hierarchical timing analysis
Sort
View
DATE
2009
IEEE
139views Hardware» more  DATE 2009»
16 years 1 months ago
Reliable mode changes in real-time systems with fixed priority or EDF scheduling
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...
Nikolay Stoimenov, Simon Perathoner, Lothar Thiele
IPL
2008
80views more  IPL 2008»
15 years 6 months ago
A simpler competitive analysis for scheduling equal-length jobs on one machine with restarts
We consider the online problem of scheduling jobs with equal processing times on a single machine. Each job has a release time and a deadline, and the goal is to maximize the numb...
Michael H. Goldwasser, Arundhati Bagchi Misra
HPCC
2010
Springer
15 years 5 months ago
Performance Analysis of Scientific and Engineering Applications Using MPInside and TAU
In this paper, we present performance analysis of two NASA applications using performance tools like Tuning and Analysis Utilities (TAU) and SGI MPInside. MITgcmUV and OVERFLOW ar...
Subhash Saini, Piyush Mehrotra, Kenichi Taylor, Sa...
COR
2004
106views more  COR 2004»
15 years 6 months ago
Performance analysis of the DAR(1)/D/c priority queue under partial buffer sharing policy
We analyze a multi-server priority queueing system with partial buffer sharing, where the input is a discrete autoregressive process of order 1 (DAR(1)) which is known as a good m...
Gang Uk Hwang, Bong Dae Choi
QEST
2008
IEEE
16 years 1 months ago
Automatic Translation of UML Sequence Diagrams into PEPA Models
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
Mirco Tribastone, Stephen Gilmore