51 search results - page 6 / 11 » Metric Semantics for True Concurrent Real Time |
138
Voted
DEDS
2007
15 years 3 months ago
2007
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
243
Voted
AUTOMATICA
2011
14 years 10 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
133
click to vote
RTAS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Real-time systems on non-preemptive platforms require a means of bounding the execution time of programs for admission purposes. Worst-Case Execution Time (WCET) is most...
117
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
163
click to vote
ECMDAFA
2005
Springer
15 years 9 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...