2205 search results - page 227 / 441 » Mutation Operators for Specifications |
157
click to vote
DCC
1998
IEEE
15 years 10 months ago
1998
IEEE
The increasing importance of Unicode for text files, for example with Java and in some modern operating systems, implies a possible doubling of data storage space and data transmi...
154
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
As a general framework, UNITY does not offer any specific facility for the design of distributed systems. For such systems, distribution aspects must be represented at a low level,...
178
click to vote
IFL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
171
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
State justification is a time-consuming operation in test generation for sequential circuits. In this paper, we present a technique to rapidly identify state elements (flip-flops)...
145
click to vote
ICCD
1994
IEEE
15 years 10 months ago
1994
IEEE
Systems for multi-level logic optimization are usually based on a set of specialized, loosely-related transformations which work on a network representation. The sequence of trans...