3130 search results - page 138 / 626 » Design Correctness of Digital Systems |
159
click to vote
EMSOFT
2011
Springer
14 years 3 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
147
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
The definition of type equivalence is one of the most important design issues for any typed language. In dependentlytyped languages, because terms appear in types, this definition...
149
Voted
IEEECIT
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—The increasing need for continuously available software systems has raised two key-issues: self-adaptation and design evolution. The former one requires software systems...
116
Voted
DSD
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper describes the architecture of a safety system of the railway's interlocking equipment, which has been developed for Czech railways. The system will be used for the...
132
click to vote
PDPTA
2003
15 years 5 months ago
2003
Common binary arithmetic operations such as addition/subtraction and multiplication suffer from O(n) carry propagation delay where n is the number of digits. Carry lookahead helps...