970 search results - page 26 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
ICTAC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
SOSP
2007
ACM
14 years 4 months ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...
HPDC
2010
IEEE
13 years 8 months ago
2010
IEEE
Modern scientific experiments can generate hundreds of gigabytes to terabytes or even petabytes of data that may furthermore be maintained in large numbers of relatively small fil...
IWMM
2010
Springer
13 years 9 months ago
2010
Springer
With the current developments in CPU implementations, it becomes obvious that ever more parallel multicore systems will be used even in embedded controllers that require real-time...
SOSP
2007
ACM
14 years 4 months ago
2007
ACM
This paper describes the design, implementation, and evaluation of a replication scheme to handle Byzantine faults in transaction processing database systems. The scheme compares ...