9842 search results - page 263 / 1969 » Compositional timing analysis |
130
click to vote
JSS
2006
15 years 4 months ago
2006
The structure of most web sites consists of a composition of web pages that require varying amounts of time to render. Typically, web pages with large amount content (text/images/...
157
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Programmers build large-scale systems with multiple languages to reuse legacy code and leverage languages best suited to their problems. For instance, the same program may use Jav...
132
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We present an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language Creol. In previous work we analyzed the sch...
167
click to vote
SNPD
2008
15 years 5 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
144
click to vote
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...