1799 search results - page 5 / 360 » The Logic of Correctness in Software Engineering |
137
Voted
CODES
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes a hardware-software co-design approach for flexible programmable Galois Field Processing for applications which require operations over GF(2m ), such as RS an...
ICSM
2000
IEEE
15 years 6 months ago
2000
IEEE
Abstract- The size and complexity of hardware and soft
65
Voted
CGO
2009
IEEE
15 years 8 months ago
2009
IEEE
115
Voted
IOLTS
2008
IEEE
15 years 8 months ago
2008
IEEE
— Error correcting coding is the dominant technique to achieve acceptable soft-error rates in memory arrays. In many modern circuits, the number of memory elements in the random ...
132
Voted
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...