612 search results - page 52 / 123 » Bounded model checking for knowledge and real time |
134
Voted
JPDC
2007
15 years 13 days ago
2007
Client interactions with modern web-accessible network services are typically organized into sessions involving multiple requests that read and write shared application data. Ther...
106
Voted
ENTCS
2002
15 years 10 days ago
2002
Petri nets where, to my knowledge, the first theoretical model augmented with time constraints [Mer74], and the support of the first reachability algorithm of timed system [BM83, ...
136
Voted
RTAS
2008
IEEE
15 years 7 months ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...
111
Voted
RTAS
2005
IEEE
15 years 6 months ago
2005
IEEE
While caches have become invaluable for higher-end architectures due to their ability to hide, in part, the gap between processor speed and memory access times, caches (and partic...
102
click to vote
WOA
2007
15 years 1 months ago
2007
Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...