1264 search results - page 181 / 253 » Designing Safe, Reliable Systems using Scade |
DATE
2010
IEEE
2010
IEEE
An error-correcting unordered code and hardware support for robust asynchronous global communication
15 years 7 months ago
A new delay-insensitive data encoding scheme for global asynchronous communication is introduced. The goal of this work is to combine the timing-robustness of delay-insensitive (i....
135
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
114
click to vote
CODES
2005
IEEE
15 years 7 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
129
click to vote
SAC
2006
ACM
15 years 8 months ago
2006
ACM
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...
128
click to vote
CONCURRENCY
1998
15 years 1 months ago
1998
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...