3108 search results - page 279 / 622 » The Elements of Computer Credibility |
175
click to vote
ARITH
2005
IEEE
16 years 8 days ago
2005
IEEE
We propose a new number representation and arithmetic for the elements of the ring of integers modulo p. The socalled Polynomial Modular Number System (PMNS) allows for fast polyn...
200
click to vote
ASWEC
2005
IEEE
16 years 8 days ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
163
click to vote
ICAC
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper presents a component-based architecture for autonomous repair management in distributed systems, and a prototype implementation of this architecture, called JADE, which...
159
click to vote
ICDCSW
2005
IEEE
16 years 8 days ago
2005
IEEE
We present a set of graphical user interface elements, called widgets, for 2-dimensional visual codes. The proposed widgets are suitable for printing on paper as well as showing o...
197
click to vote
IPPS
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper presents a compiler methodology for memoryaware mapping on 2-Dimensional coarse-grained reconfigurable architectures that aims in improving the mapped applications’ p...