Sciweavers

970 search results - page 3 / 194
» Reliability Analysis of Concurrent Systems Using LTSA
Sort
View
IGPL
2000
82views more  IGPL 2000»
13 years 6 months ago
Concurrent Systems Analysis Using ECATNets
Faiza Belala, Mohamed Bettaz, Laure Petrucci-Dauch...
TJS
2002
118views more  TJS 2002»
13 years 5 months ago
On the Design, Development, Deployment, and Network Survivability Analysis of the Dynamic Routing System Protocol
: With the ever-increasing demands on server applications, reliability is of paramount importance. Often these services are implemented using a distributed server cluster architect...
Abdur Chowdhury, Ophir Frieder, Peng-Jun Wan
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
14 years 3 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
TC
2010
13 years 4 months ago
Formal Reliability Analysis Using Theorem Proving
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
Osman Hasan, Sofiène Tahar, Naeem Abbasi
MOBIHOC
2003
ACM
13 years 11 months ago
PAN: providing reliable storage in mobile ad hoc networks with probabilistic quorum systems
Reliable storage of data with concurrent read/write accesses (or query/update) is an ever recurring issue in distributed settings. In mobile ad hoc networks, the problem becomes e...
Jun Luo, Jean-Pierre Hubaux, Patrick Th. Eugster