7557 search results - page 112 / 1512 » Modeling Timed Concurrent Systems |
142
click to vote
FCS
2006
15 years 5 months ago
2006
: We introduce an extended model for view-centric reasoning, EVCR, that provides more nsive and flexible abstractions for representing actual concurrency. The theory of Communicati...
143
click to vote
FAST
2008
2008
Enhancing Storage System Availability on Multi-Core Architectures with Recovery-Conscious Scheduling
15 years 5 months ago
In this paper we develop a recovery conscious framework for multi-core architectures and a suite of techniques for improving the resiliency and recovery efficiency of highly conc...
151
click to vote
CACM
2010
15 years 4 months ago
2010
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
119
click to vote
PRDC
2006
IEEE
15 years 10 months ago
2006
IEEE
The finite average response time model is a very weak distributed systems model: it permits runs with unbounded transmission and processing delays and it does not bound the relat...
213
click to vote
B
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...