WorldCat Identities

Larrabee, Tracy

Overview
Works: 10 works in 40 publications in 1 language and 660 library holdings
Genres: Terminology 
Roles: Author
Publication Timeline
.
Most widely held works by Tracy Larrabee
Mathematical writing by Donald Ervin Knuth( Book )

25 editions published between 1988 and 1996 in English and Undetermined and held by 621 WorldCat member libraries worldwide

Do you need help getting started as an individual or as a member of a group facing the need to prepare formal documents? This is an all-out attack on the problem of teaching people the art of mathematical writing. Learn how others have made use of student assistants in ways that benefit all parties. Read how feedback from students supplies early warning signals from instructors, as well as helping students clarify their thought processes. This book will give aid and encouragement to those wishing to teach a course in technical writing, or to those who wish to write themselves
Efficient generation of test patterns using Boolean satisfiability by Tracy Larrabee( Book )

5 editions published in 1990 in English and held by 14 WorldCat member libraries worldwide

Mathematical writing by Donald Ervin Knuth( Book )

1 edition published in 1989 in English and held by 8 WorldCat member libraries worldwide

Test pattern generation for realistic bridge faults in CMOS ICs by F. Joel Ferguson( Book )

2 editions published in 1991 in English and held by 4 WorldCat member libraries worldwide

Abstract: "Two approaches have been used to balance the cost of generating effective tests for ICs and the need to increase the IC's quality level. The first approach favors using high-level fault models to reduce test generation costs at the expense of test quality, and the second approach favors the use of low-level, technology-specific fault models to increase defect coverage but lead to unacceptably high test generation costs. In this report we (1) present the results of simulations of complete single stuck-at test sets against a low-level model of bridge defects showing that an unacceptably high percentage of such defects are not detected by the complete stuck-at test sets; (2) show how low-level bridge fault models can be incorporated into high-level test generation; and (3) describe our system for generating effective tests for bridge faults and report on its performance."
Evidence for a satisfiability threshold for random 3CNF formulas by Tracy Larrabee( Book )

2 editions published in 1992 in English and held by 4 WorldCat member libraries worldwide

Abstract: "This paper presents empirical evidence of a satisfiability threshold in random 3CNF formulas. The paper also expands on and supports the conjecture of Mitchell, Selman, and Levesque [13] that hard randomly generated CNF formulas will be hard for any reasonable satisfiability algorithm. We report statistics for a much larger set of variables that have been previously reported; in particular, we show that for each clause to variable ratio less than 4.2, the percentage of satisfiable formulas increases, and for each clause to variable ratio greater than 4.2, the percentage of satisfiable formulas decreases as a function of number of variables. We found that several algorithms behaved qualitatively in the same fashion. We report on the relative performance of each algorithm."
Efficient generation of test patterns using Boolean satisfiability by Tracy Larrabee( Book )

1 edition published in 1990 in English and held by 3 WorldCat member libraries worldwide

Abstract: "A combinational circuit can be tested for the presence of a single stuck-at fault by applying a set of inputs that excite a verifiable output response in that circuit. If the fault is present, the output will be different than it would be if the fault were not present. Given a circuit, the goal of an automatic test pattern generation system is to generate a set of input sets that will detect every possible single stuck-at fault in the circuit. This dissertation describes a new method for generating test patterns: the Boolean satisfiability method. The new method generates test patterns in two steps: First, it constructs a formula expressing the Boolean difference between the unfaulted and faulted circuits
Feasibility study on the costs of IDDQ testing in CMOS circuits by F. Joel Ferguson( Book )

1 edition published in 1991 in English and held by 2 WorldCat member libraries worldwide

Abstract: "Many manufacturing defects in static CMOS circuits are not detected by tests generated using the traditional single stuck-at fault model. Many of these defects may be detected as increased propagation delay or as excessive quiescent power supply current (I[subscript DDQ]). In this paper we compare the costs of detecting probable manufacturing defects by the resulting excess I[subscript DDQ] with the costs of traditional logical testing methods."
Two papers on test pattern generation by Tracy Larrabee( Book )

1 edition published in 1990 in English and held by 2 WorldCat member libraries worldwide

Abstract: "A combinational circuit can be tested for the presence of a single stuck-at fault by applying a set of inputs that excite a verifiable output response in that circuit. If the fault is present, the output will be different than it would be if the fault were not present. Given a circuit, the goal of an automatic test pattern generation system is to generate a set of input sets that will detect every possible single stuck-at fault in the circuit. These two papers describe a new method for generating test patterns: the Boolean satisfiability method. The new method is quite general and allows for the addition of any heuristic used by the structural search methods. The Boolean satisfiability method has produced excellent results on popular test pattern generation benchmarks
Creating small fault dictionaries by Brian Chess( )

1 edition published in 1999 in English and held by 1 WorldCat member library worldwide

Efficient generation of test patterns using boolean satisfiability by Tracy Larrabee( )

1 edition published in 1990 in English and held by 1 WorldCat member library worldwide

 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.42 (from 0.39 for Creating s ... to 0.94 for Efficient ...)

Mathematical writing Mathematical writing
Covers
Mathematical writing
Alternative Names
Larrabee, T.

Larrabee, T. (Tracy)

Languages
English (37)