475 search results - page 22 / 95 » Formal Analysis of Processor Timing Models |
147
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Localization of complex traits by genetic linkage analysis may involve exploration of a vast multidimensional parameter space. The posterior probability of linkage (PP...
178
click to vote
RTSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Many real-time systems must control their CPU utilizations in order to meet end-to-end deadlines and prevent overload. Utilization control is particularly challenging in distribut...
157
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
159
click to vote
TOOLS
2008
IEEE
16 years 7 days ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
197
click to vote
JUCS
2010
15 years 19 days ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...