7961 search results - page 434 / 1593 » Input-Output Model Programs |
207
click to vote
WCET
2010
15 years 4 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
170
click to vote
CISIS
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract—Performance is a key feature of large-scale computing systems. However, the achieved performance when a certain program is executed is significantly lower than the maxi...
172
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
132
click to vote
PDPTA
2004
15 years 7 months ago
2004
We present the MBRAM model for static evaluation of the performance of memory-bound programs. The MBRAM model predicts the actual running time of a memory-bound program directly fr...
167
click to vote
AAAI
1998
15 years 7 months ago
1998
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...