452 search results - page 58 / 91 » Symbolic Execution of Behavioral Requirements |
92
Voted
RTAS
2006
IEEE
15 years 5 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
103
Voted
IPPS
2005
IEEE
15 years 4 months ago
2005
IEEE
Optimizing the performance of dynamic load balancing toolkits and applications requires the adjustment of several runtime parameters; however, determining sufficiently good value...
90
Voted
IVA
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper presents a set of mechanisms oriented to incorporate social information into the decision taking of task-oriented 3DIVA. The aim of this approach is to integra...
98
Voted
SEW
2003
IEEE
15 years 4 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
89
Voted
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...