3387 search results - page 193 / 678 » Model-Checking for Real-Time Systems |
177
click to vote
ISCC
2002
IEEE
15 years 12 months ago
2002
IEEE
: - Efficient task scheduling is essential for achieving high performance computing applications for distributed systems. Most of existing real-time systems consider schedulability...
178
Voted
VMCAI
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
211
Voted
FMCO
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
139
Voted
FM
2008
Springer
15 years 8 months ago
2008
Springer
Modal
183
click to vote
RTCSA
2007
IEEE
16 years 1 months ago
2007
IEEE
Real-time scheduling algorithms for multiprocessor systems have been the subject of considerable recent interest. For such an algorithm to be truly useful in practice, support for...