1268 search results - page 94 / 254 » Verifying distributed systems: the operational approach |
168
click to vote
EUROMICRO
1997
IEEE
15 years 10 months ago
1997
IEEE
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...
169
click to vote
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
It is now common for IPTV systems attracting millions of users to be based on a peer-to-peer (P2P) architecture. In such systems, each channel is typically associated with one P2P ...
174
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
We present Zyzzyva, a protocol that uses speculation to reduce the cost and simplify the design of Byzantine fault tolerant state machine replication. In Zyzzyva, replicas respond...
197
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
147
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Researchers of HIV-1 are today, still unable to determine exactly the biological mechanisms that cause AIDS. Various mechanisms have been hypothesized and their existences have be...