2227 search results - page 164 / 446 » Reversibility and Models for Concurrency |
163
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
162
Voted
ENTCS
2007
15 years 6 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
145
click to vote
PE
2006
Springer
15 years 6 months ago
2006
Springer
This paper proposes a stochastic fluid flow model to compute the transfer time distribution of resources in peer-to-peer file sharing applications. The amount of bytes transferred...
189
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
171
click to vote
ADAEUROPE
2010
Springer
15 years 4 months ago
2010
Springer
Real-Time (RT) systems exhibit specific characteristics that make them particularly sensitive to architectural decissions. Design patterns help integrating the desired timing behav...