837 search results - page 26 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
114
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
152
Voted
CORR
2010
Springer
15 years 22 days ago
2010
Springer
In this paper we study the partitioning approach for multiprocessor real-time scheduling. This approach seems to be the easiest since, once the partitioning of the task set has be...
155
click to vote
ROOM
2000
15 years 4 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
105
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Compositional performance analysis iteratively alternates local scheduling analysis techniques and output event model propagation between system components to enable performance a...
152
Voted
FAC
2008
15 years 3 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...