1264 search results - page 128 / 253 » Designing Safe, Reliable Systems using Scade |
184
click to vote
SIGOPS
2011
14 years 11 months ago
2011
While application performance and power-efficiency are both important, application correctness is even more important. In other words, if the application is misbehaving, it is li...
194
click to vote
PODC
2012
ACM
13 years 6 months ago
2012
ACM
The goal of Byzantine Broadcast (BB) is to allow a set of fault-free nodes to agree on information that a source node wants to broadcast to them, in the presence of Byzantine faul...
128
click to vote
ISARCS
2010
15 years 6 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
143
click to vote
IC
2003
15 years 5 months ago
2003
Integrating complex enterprise systems is challenging and reliability and performance of the integrated systems can be problematic when using typical solutions of distributed tran...
148
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
We propose a new paradigm for building scalable distributed systems. Our approach does not require dealing with message-passing protocols—a major complication in existing distri...