WorldCat Identities

Snyder, L.

Works: 75 works in 105 publications in 1 language and 94 library holdings
Genres: Methods (Music) 
Roles: Author, Recipient
Classifications: QH434, 572.8293
Publication Timeline
Most widely held works by L Snyder
Practical algorithms for image component labeling on SIMD mesh connected computers by J. L. C Sanz( Book )

9 editions published in 1987 in English and held by 11 WorldCat member libraries worldwide

Two new parallel algorithms are presented for the problem of labeling the connected components of a binary image, which is also known as the connected ones problem. The machine model is an SIMD two-dimensional mesh connected computer consisting of an N x N array of processing elements, each containing a single pixel of an N x N image. Both new algorithms use a shrinking operation defined by Levialdi and have time complexities of O(N log N) bit operations, which makes them the fastest local algorithms for the problem. Compared with other approaches having similar or better time complexities, this local approach dramatically simplifies the algorithms and reduces the constants of proportionality by nearly two orders of magnitude, thus making them the first practical algorithms for the problem. The two algorithms differ in the amount of memory required per processing element; the first uses O(N) bits while the second employs a novel compression scheme to reduce the requirement to O(log N) bits. (RRH)
The Hough transformation has O(N) complexity on SIMD MxN mesh array architectures by University of Washington( Book )

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

This paper reports on new algorithms for computing the Hough transform on mesh array architectures. The mesh is fine-grained, consisting of an N x N array of processors, each holding a single pixel of the image. The mesh array operates in an SIMD mode. Several algorithms, differing in the techniques they use, their asymptotic complexity, or the architectural resources required, are presented for computing the Hough transform. The main algorithm computes any P angles of the Hough transform in O(N + P) time and used only a constant amount of memory per processor. All the algorithms apply to the more general problem of computing the Radon transform of gray-level images. Keywords: Parallel algorithms; Image processing; Mesh; Hough transform. (jhd)
Molecular genetics of bacteria by Larry Snyder( Book )

2 editions published between 1997 and 2003 in English and held by 3 WorldCat member libraries worldwide

"This volume provides the single most comprehensive and authoritative textbook on bacterial molecular genetics. Perfect for advanced undergraduate and graduate-level courses, the text presents the latest research on the subject in a clearly written and well-illustrated style. It provides descriptive background information, detailed experimental methods, examples of genetic analyses, and advanced material relevant to current applications of molecular genetics. While providing a deep understanding of bacterial molecular genetics, the material is integrated with biochemical, genomic, and structural information to broaden understanding." "This new edition will be invaluable to anyone working in the field of microbiology, genetics, biochemistry, bioengineering, medicine, molecular biology, or biotechnology. It is also essential reading for scientists in all fields of biology, many of whom depend upon the concepts and techniques covered in this book."--Jacket
Parallel programming and the Poker Programming Environment by Lawrence Snyder( Book )

3 editions published in 1984 in English and held by 3 WorldCat member libraries worldwide

Parallel programming is described as the conversion of an abstract, machine independent algorithm to a form, called a program, suitable for execution on a particular computer. The conversion activity is simplified where the form of the abstraction is close to the form required of the programming system. Fine mechanisms are identified as commonly occurring in algorithms specification. The Poker Parallel Programming Environment is known to support these five mechanisms conveniently; thus the conversion is easy and the parallel programming is simple. The Poker environment is described and examples are provided. An analysis of the efficiency of the programming facilities provided by Poker is given and they all seem to be very efficient. (Author)
UW/NW (University of Washington/Northwest) VLSI Consortium( Book )

3 editions published between 1984 and 1985 in English and held by 3 WorldCat member libraries worldwide

The goal of the UW/NW VLSI Consortium is to pursue research, development and education in the use of computer aided design tools for VLSI systems with emphasis on technology transfer. The primary accomplishments for the period Mar. 26-Oct. 22, 1984 were: CMOS Release; New DRC. In an effort to improve the performance of VLSI design rule checkers (DRC), the Consortium began a comparative analysis between the algorithms used in the Carnegie-Mellon DRC and a new algorithm developed at the University of Washington. The experiments used a variety of chips including the RISC II and PSC (programmable systolic chip). The results showed that the new approach gives improved performance and the Consortium will add this new DRC to future releases; and Chip designs
A linear time algorithm for deciding subject security by Richard J Lipton( Book )

3 editions published between 1976 and 1977 in English and held by 3 WorldCat member libraries worldwide

A particular protection mechanism from the protection literature -- the take and grant system -- is presented. For this particular mechanism it is shown that the safety problem can be solved in linear time. Moreover, the security policies that are enforcable by this mechanism are then characterized. (Author)
The quarter horse: a case study in rapid prototyping of a 32-bit microprocessor chip( Book )

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

The Quarter Horse is a single chip 32-bit microprocessor whose design and implementation in custom CMOS was completed in 90 days. The design effort is presented as a case study in managing choice complexity. The factors contributing to the rapid development of a prototype are discussed, as is the processor's architecture. Keywords include: VLSI, RISC, MIPS, PLA, RAM, ALU, CMOS, MOSIS, and SPICE choice complexity
Some results on maximum a posteriori probability parsing algorithms by R. J Lipton( Book )

2 editions published between 1976 and 1977 in English and held by 2 WorldCat member libraries worldwide

A fast method of parsing noisy speech is sketched. It is then used to study the entropy of languages. (Author)
Poker (4.2) programmer's reference guide by L Snyder( Book )

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

On the Synthesis and Analysis of Protection Systems by L Snyder( Book )

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

The design of a protection system for an operating system is seen to involve satisfying the competing properties of richness and integrity. Achieving both requires the interplay of analysis and synthesis. Using a formal model from the literature, three designs are developed whose integrity (with the help of the model) can be shown. (Author)
On the complexity of resource managers by Yale University( Book )

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

Towards a unified theory of the parallelism available for circuit simulation by University of Washington( Book )

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

Scheduling Parallel Processes Without a Common Scheduler by G Holober( Book )

2 editions published in 1979 in Undetermined and held by 1 WorldCat member library worldwide

An algorithm which solves the critical section problem for distributed processes is presented. We extend the solution of Lamport LL76 by continuing to allow processes to access their respective critical sections in any arbitrary user-specified order, but with greatly reduced storage requirements for each process. In addition, we supply a facility for testing the presence of deadlock among processes waiting to enter their critical code. We show our scheme to be tolerant of several malfunctioning processors and derive an equation relating the probability of total system failure to the probability of many individual failures occurring simultaneously among the processors. (Author)
Conversion from Data-Flow to Synchronous Execution in Loop Programs by J Cuny( Book )

2 editions published in 1982 in Undetermined and held by 1 WorldCat member library worldwide

We present conversion algorithms that would enable programmers to program in a high-level, data-flow language and then run their programs on a synchronous machine. A model of interprocess communication systems is developed in which both data-flow and synchronous execution modes are represented. For a subclass of parallel programs, called loop programs, we characterize the programs for which conversions are possible in terms of sets of balancing equations. We show that all loop programs having the finite buffer property can be converted into synchronous mode. Finally, two algorithms for the conversion of loop programs are presented and discussed. (Author)
On the many facets of lists by Calvin C Elgot( Book )

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

This is an in depth study of "list" in the sense of LISP. In particular, the notion is algebraicized
Normalized time and its use in architectural design by Sam Ho( Book )

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

We introduce a performance metric, normalized time, which is closely related to such measures as the area-time product of very large scale integration theory, and the price/performance ratio of advertising literature. This metric captures the idea of a piece of hardware pulling its own weight, i.e. contributing as much to performance as it costs in resources. We then prove general theorems for stating when the size of a given part is in balance with its utilization, and give specific formulas for commonly found linear and quadratic devices. We also apply these formulas to an analysis of a specific processor element, and discuss the implications for bit-serial vs word-parallel, RISC vs CISC, and VLIW designs. (kr)
Achieving speedups for a shared memory model language on a SIMD parallel computer by University of Washington( Book )

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

A study of effects of hyperthermia on large, short-haired male dogs : a simulated air transport environmental stress( )

1 edition published in 1977 in English and held by 0 WorldCat member libraries worldwide

When dogs are shipped by air transport, they can encounter environmental temperatures as high as 130.0 F during the summer months. Heat- induced hyperthermia can be a major problem in dogs. To assess some aspects of the heat stress problem, 20 dogs were exposed to an ambient temperature of 130.0 F for 30 minutes--10 dogs at 15% relative humidity and 10 at 35% relative humidity. Transient and permanent changes were seen; however, no dogs died from exposure. All dogs exhibited increases in heart rate, rectal temperature, blood pH, hemoglobin, packed cell volume, and red blood cell count while body weight and blood carbon dioxide decreased. There were also differences between the two groups for blood pH, blood carbon dioxide, rectal temperature, and weight loss. The major histological tissue changes attributed to hyperthermia were fragmentation of the myocardium, acute cortical necrosis in the kidneys, and marked degenerative changes in the cerebellum and cerebral cortex that were considered severe and permanent
moreShow More Titles
fewerShow Fewer Titles
Audience Level
Audience Level
  Kids General Special  
Audience level: 0.84 (from 0.49 for Molecular ... to 1.00 for UW/NW (Uni ...)

Molecular genetics of bacteria
English (40)