2520 search results - page 237 / 504 » Model-checking behavioral programs |
136
click to vote
ICCL
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper presents a lightweight object migration protocol that preserves centralized object semantics yet allows for precise prediction of network behavior. The protocol is impl...
154
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual t...
190
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Memory accesses form an important source of timing unpredictability. Timing analysis of real-time embedded software thus requires bounding the time for memory accesses. Multipro...
179
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper presents a framework based on a user driven methodology to obtain analytical models of MPI applications on parallel systems in a systematic and easy to use way. This me...
168
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Every running thread has its own thread context that consists of values of the fields of the target thread object. To consider the thread context in understanding the be...