1799 search results - page 5 / 360 » The Logic of Correctness in Software Engineering |
CODES
2003
IEEE
14 years 21 days 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
13 years 11 months ago
2000
IEEE
Abstract- The size and complexity of hardware and soft
CGO
2009
IEEE
14 years 2 months ago
2009
IEEE
IOLTS
2008
IEEE
14 years 1 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 ...
PLDI
2003
ACM
14 years 19 days 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...