525 search results - page 66 / 105 » Model Checking Systems of Replicated Processes with Spin |
127
click to vote
JTRES
2010
ACM
15 years 22 days ago
2010
ACM
Chip-multiprocessors offer increased processing power at a low cost. However, in order to use them for real-time systems, tasks have to be scheduled efficiently and predictably. I...
84
Voted
COGSCI
2007
15 years 15 days ago
2007
Words become associated following repeated co-occurrence episodes. This process might be further determined by the semantic characteristics of the words. The present study focused...
129
click to vote
QEST
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
97
Voted
IFIP13
2004
15 years 1 months ago
2004
: Function allocation, as a process used in the construction of dependable complex systems, is a significant aspect of the design and implementation of interactive systems. It invo...
127
click to vote
RTSS
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...