173 search results - page 18 / 35 » Model Checking Communicative Agent-Based Systems |
108
click to vote
ICCAD
2006
IEEE
15 years 8 months ago
2006
IEEE
Efficient communication modeling is a critical task in SoC design and exploration. In particular, fast and accurate communication is needed to predict the performance of a system....
ENTCS
2007
14 years 11 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
CAV
2008
Springer
15 years 1 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
102
click to vote
ECSA
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
120
click to vote
ASPLOS
1996
ACM
15 years 3 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...