2205 search results - page 225 / 441 » Mutation Operators for Specifications |
145
click to vote
ARITH
1999
IEEE
15 years 8 months ago
1999
IEEE
Comprehensive testing of any implementation of the RSA cryptosystem requires the use of a number of moduli with specific properties. It is shown how to generate a sufficient varie...
151
click to vote
HASE
1999
IEEE
15 years 8 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
139
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes a method of synthesis of asynchronous circuits with relative timing. Asynchronous communication between gates and modules typically utilizes handshakes to ens...
113
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we propose a simple extension to the I/O architecture of scalable multiprocessors that optimizes page swap-outs significantly. More specifically, we propose the use o...
137
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes the human immune system and its functionalities from a computational viewpoint. The objective of this paper is to provide the biological basis for an artificia...