University of California, Berkeley Computer Science Division
Overview
Works:  459 works in 490 publications in 1 language and 1,391 library holdings 

Genres:  Dissertations, Academic 
Classifications:  TK7885.A1, 512.50285 
Publication Timeline
.
Most widely held works about
University of California, Berkeley
 Implementation techniques for continuous media systems and applications by Brian C Smith( )
 Active services for archive applications by Angela Marie Schuett( )
 Fluid animation from simulation on tetrahedral meshes by Bryan Eric Feldman( )
 Tetrahedral mesh generation with good dihedral angles using point lattices by Franois Labelle( )
 Computer architecture support for database applications by Kimberly Kristine Keeton( )
 Learning distance functions for exemplarbased object recognition by Andrea Lynn Frome( )
 Analysis of sector caches for uni and multiprocessor systems by Jeffrey Blair Rothman( )
 Lower bounds for quantum computation and communication by Ashwin V Nayak( )
 New directions in refinement checking by Sriram K Rajamani( )
 Limited bandwidth parallel computation by Micah Alexei Adler( )
 Fast crash recovery in distributed file systems by Mary Louise Gray Baker( )
 Constructing grammar a computational model of the emergence of early constructions by Nancy ChihLin Chang( )
 Enduser service composition in ubiquitous computing environments by Mark Webster Newman( )
 A numerical analyst's Jordan canonical form by James W Demmel( )
 Evaluating the security of machine learning algorithms by Marco Antonio Barreno( )
 Improving distributed application reliability with endtoend datapath tracing by George Manning Porter( )
 A parallel softwareonly video effects processing system by Ketan Dasharath MayerPatel( )
 Enduser program analysis by BorYuh Evan Chang( )
 Security inference from noisy data by Li Zhuang( )
 Modeling, simulation, and analysis of systems with a large number of interacting entities by Atul Prakash( )
more
fewer
Most widely held works by
University of California, Berkeley
Parallel numerical linear algebra by
James W Demmel(
Book
)
2 editions published between 1992 and 1993 in English and held by 12 WorldCat member libraries worldwide
2 editions published between 1992 and 1993 in English and held by 12 WorldCat member libraries worldwide
The differencing method of set partitioning by Narendra Karmarker(
Book
)
1 edition published in 1982 in English and held by 8 WorldCat member libraries worldwide
1 edition published in 1982 in English and held by 8 WorldCat member libraries worldwide
A new interface specification methodology and its application to transducer synthesis by
Gaetano Borriello(
Book
)
1 edition published in 1988 in English and held by 7 WorldCat member libraries worldwide
1 edition published in 1988 in English and held by 7 WorldCat member libraries worldwide
A study of the parametric uniform Bspline curve and surface representations by
Brian A Barsky(
Book
)
1 edition published in 1983 in English and held by 7 WorldCat member libraries worldwide
1 edition published in 1983 in English and held by 7 WorldCat member libraries worldwide
Crystal, a timing analyzer for nMOS VLSI circuits by
John K Ousterhout(
Book
)
1 edition published in 1983 in English and held by 7 WorldCat member libraries worldwide
Crystal is a timing analyzer for nMOS circuits designed in the MeadConway style. Based on the circuit extracted from a mask set, Crystal determines the length of each clock phase and pinpoints the longest paths. The analysis is independent of specific data values and uses critical path techniques along with s simple RC model of delays. Several additional techniques are used to improve the speed and accuracy of the program, including separate up/down timing, static level assignment, flow control for pass transistors, and precharging
1 edition published in 1983 in English and held by 7 WorldCat member libraries worldwide
Crystal is a timing analyzer for nMOS circuits designed in the MeadConway style. Based on the circuit extracted from a mask set, Crystal determines the length of each clock phase and pinpoints the longest paths. The analysis is independent of specific data values and uses critical path techniques along with s simple RC model of delays. Several additional techniques are used to improve the speed and accuracy of the program, including separate up/down timing, static level assignment, flow control for pass transistors, and precharging
Inverse currying transformation on attribute grammars by
R Wilhelm(
Book
)
1 edition published in 1983 in English and held by 7 WorldCat member libraries worldwide
Inverse currying transformation of an attribute grammar moves a context condition to places in the grammar where the violation of the condition can be detected as soon as the semantic information used in the condition is computed. It thereby takes into account the evaluation order chosen for the attribute grammar. Inverse currying transformations can be used to enhance context sensitive parsing using predicates on attributes, to eliminate sources of backtrack when parsing according to ambiguous grammars, and to facilitate semanticssupported error correction
1 edition published in 1983 in English and held by 7 WorldCat member libraries worldwide
Inverse currying transformation of an attribute grammar moves a context condition to places in the grammar where the violation of the condition can be detected as soon as the semantic information used in the condition is computed. It thereby takes into account the evaluation order chosen for the attribute grammar. Inverse currying transformations can be used to enhance context sensitive parsing using predicates on attributes, to eliminate sources of backtrack when parsing according to ambiguous grammars, and to facilitate semanticssupported error correction
Two problems in concrete complexity : cycle detection and parallel prefix computation by
Faith Ellen(
)
2 editions published in 1982 in English and held by 7 WorldCat member libraries worldwide
The cycle detection problem is to find a repetition in the sequence obtained by applying a function repeatedly to a starting value in its domain. Structural properties of cycle detection algorithms and lower bounds on the number of function evaluations they perform are obtained under the assumption that there is a bound on the amount of memory available. For several classes of algorithms, including those which use two memory locations, optimal or near optimal results are achieved
2 editions published in 1982 in English and held by 7 WorldCat member libraries worldwide
The cycle detection problem is to find a repetition in the sequence obtained by applying a function repeatedly to a starting value in its domain. Structural properties of cycle detection algorithms and lower bounds on the number of function evaluations they perform are obtained under the assumption that there is a bound on the amount of memory available. For several classes of algorithms, including those which use two memory locations, optimal or near optimal results are achieved
The condition number of similarities that diagonalize matrices by
James W Demmel(
Book
)
1 edition published in 1983 in English and held by 7 WorldCat member libraries worldwide
How illconditioned must a matrix S be if it (block) diagonalizes a given matrix T, i.e. if S 1 TS is block diagonal? The answer depends on how the diagonal blocks partition T's spectrum; the condition number of S is bounded below by a function of the norms of the projection matrices determined by the partitioning. In the case of two diagonal blocks we compute an S which attains this lower bound, and we describe almost best conditioned S's for dividing T into more blocks. We apply this result to bound the error in an algorithms to compute analytic functions of matrices, for instance exp(T). Our techniques also produce bounds for submatrices that appear in the squarerootfree Choleskt and in the GramSchmidt orthogonalization algorithms
1 edition published in 1983 in English and held by 7 WorldCat member libraries worldwide
How illconditioned must a matrix S be if it (block) diagonalizes a given matrix T, i.e. if S 1 TS is block diagonal? The answer depends on how the diagonal blocks partition T's spectrum; the condition number of S is bounded below by a function of the norms of the projection matrices determined by the partitioning. In the case of two diagonal blocks we compute an S which attains this lower bound, and we describe almost best conditioned S's for dividing T into more blocks. We apply this result to bound the error in an algorithms to compute analytic functions of matrices, for instance exp(T). Our techniques also produce bounds for submatrices that appear in the squarerootfree Choleskt and in the GramSchmidt orthogonalization algorithms
Process migration in DEMOS/MP by
Michael L Powell(
Book
)
1 edition published in 1983 in English and held by 7 WorldCat member libraries worldwide
Process migration has been added to the DEMOS/MP operating system. A process can be moved during its execution, and continue on another processor, with continuous access to all its resources. Messages are correctly delivered to the process's new location. No centralized algorithms are necessary to move a process
1 edition published in 1983 in English and held by 7 WorldCat member libraries worldwide
Process migration has been added to the DEMOS/MP operating system. A process can be moved during its execution, and continue on another processor, with continuous access to all its resources. Messages are correctly delivered to the process's new location. No centralized algorithms are necessary to move a process
A simplified version of H.W. Lenstra's integer programming algorithm and some applications by
A Paz(
Book
)
1 edition published in 1983 in English and held by 6 WorldCat member libraries worldwide
A very interesting algorithm has been recently suggested by H.W. Lenstra, Jr. [1] for solving integer programming problems. One part of that algorithm was further improved in [2]. The algorithm was shown to be polynomial in the length of the input, for a fixed number of variables. On the other hand the algorithm is impractical for a large number of variables and its implementation is not clear even for a small number of variables. We suggest here a few simplifications and improvements to that algorithm, making its implementation easy (though still impractical for a great number of variables). As a byproduct we show how to solve diophantine linear equations over the nonnegative integers. For a small number of variables (3 or 4) a practical and fast algorithm for solving such equation results
1 edition published in 1983 in English and held by 6 WorldCat member libraries worldwide
A very interesting algorithm has been recently suggested by H.W. Lenstra, Jr. [1] for solving integer programming problems. One part of that algorithm was further improved in [2]. The algorithm was shown to be polynomial in the length of the input, for a fixed number of variables. On the other hand the algorithm is impractical for a large number of variables and its implementation is not clear even for a small number of variables. We suggest here a few simplifications and improvements to that algorithm, making its implementation easy (though still impractical for a great number of variables). As a byproduct we show how to solve diophantine linear equations over the nonnegative integers. For a small number of variables (3 or 4) a practical and fast algorithm for solving such equation results
Performance analysis of several backend database architectures by Robert Brian Hagmann(
Book
)
1 edition published in 1983 in English and held by 6 WorldCat member libraries worldwide
1 edition published in 1983 in English and held by 6 WorldCat member libraries worldwide
The design and assessment of a hypermedia course on semiconductor manufacturing by Patricia K Schank(
Book
)
1 edition published in 1993 in English and held by 6 WorldCat member libraries worldwide
This article describes the design and evaluation of an ICHIP, a multimedia course on integrated circuit manufacturing (Schank & Rowe, 1992). Subjects browsed the course via standard hypermedia links or linear paths. Learning effects were assessed based on navigation method (hyperlinks vs. path), prior knowledge (low vs. high), and other factors (e.g., subjects' stated interests in semiconductors, and kinds and number of course nodes viewed (by media type and topic area), were also assessed. Results suggest that subjects who browsed via hypermedia links tended to more often bridge topic areas rather than explore them in depth, but there were little or no learning differences by knowledge or navigation group, and neither prior interest nor nodes viewed (by number, topic area, or media type) were correlated with learning. These results and future work are discussed
1 edition published in 1993 in English and held by 6 WorldCat member libraries worldwide
This article describes the design and evaluation of an ICHIP, a multimedia course on integrated circuit manufacturing (Schank & Rowe, 1992). Subjects browsed the course via standard hypermedia links or linear paths. Learning effects were assessed based on navigation method (hyperlinks vs. path), prior knowledge (low vs. high), and other factors (e.g., subjects' stated interests in semiconductors, and kinds and number of course nodes viewed (by media type and topic area), were also assessed. Results suggest that subjects who browsed via hypermedia links tended to more often bridge topic areas rather than explore them in depth, but there were little or no learning differences by knowledge or navigation group, and neither prior interest nor nodes viewed (by number, topic area, or media type) were correlated with learning. These results and future work are discussed
A new MonteCarlo method for estimating the failure probability of an ncomponent system by
Richard M Karp(
Book
)
1 edition published in 1983 in English and held by 6 WorldCat member libraries worldwide
A new formula for the probability of a union of events is used to express the failure probability fo an ncomponent system. A very simple MonteCarlo algorithm based on the new probability formula is presented. The input to the algorithm gives the failure probabilities of the n components of the system and a list of the failure sets of the system. The output is an unbiased estimator of the failure probability of the system. We show that the average value of the estimator over many runs of the algorthm tends to converge quickly to the failure Probability of the system. The overall time to estimate the failure probability with high accuracy compares very favorably with the execution times of other methods used for solving this problem
1 edition published in 1983 in English and held by 6 WorldCat member libraries worldwide
A new formula for the probability of a union of events is used to express the failure probability fo an ncomponent system. A very simple MonteCarlo algorithm based on the new probability formula is presented. The input to the algorithm gives the failure probabilities of the n components of the system and a list of the failure sets of the system. The output is an unbiased estimator of the failure probability of the system. We show that the average value of the estimator over many runs of the algorthm tends to converge quickly to the failure Probability of the system. The overall time to estimate the failure probability with high accuracy compares very favorably with the execution times of other methods used for solving this problem
Database support for programming environments by
Michael L Powell(
Book
)
1 edition published in 1983 in English and held by 6 WorldCat member libraries worldwide
A significant amount of programmer activity in understanding, changing, and debugging software is information management. To address this need, the OMEGA programming environment uses a relational database system to manage program information, and a menu driven, graphicsbased user interface to view, access and update software
1 edition published in 1983 in English and held by 6 WorldCat member libraries worldwide
A significant amount of programmer activity in understanding, changing, and debugging software is information management. To address this need, the OMEGA programming environment uses a relational database system to manage program information, and a menu driven, graphicsbased user interface to view, access and update software
An interval algorithm for solving systems of linear equations to prespecified accuracy by
James W Demmel(
Book
)
1 edition published in 1983 in English and held by 6 WorldCat member libraries worldwide
We describe an interval arithmetic algorithm for solving a special class of simulataneous linear equations. This class includes but is not limited to systems Ax=b where A and b have integer entries. The algorithm uses fixed point arithemetic, and has two properties which distinguish it from earlier algorithms: given the absolute accuracy e desired, the algorithm uses only as much precision as needed to achieve it, and the algorithm can adjust its own parameters to minimize computation time
1 edition published in 1983 in English and held by 6 WorldCat member libraries worldwide
We describe an interval arithmetic algorithm for solving a special class of simulataneous linear equations. This class includes but is not limited to systems Ax=b where A and b have integer entries. The algorithm uses fixed point arithemetic, and has two properties which distinguish it from earlier algorithms: given the absolute accuracy e desired, the algorithm uses only as much precision as needed to achieve it, and the algorithm can adjust its own parameters to minimize computation time
Effects of underflow on solving linear systems by
James W Demmel(
Book
)
1 edition published in 1983 in English and held by 6 WorldCat member libraries worldwide
In this paper we examine the effects of underflow on solving systems of linear equations using Gaussian Elimination. Our goal is to decide if reliable software for solving linear in the presence of underflow can be written at reasonable cost. We contrast the utilities of gradual underflow and "store zero", and show that only by using gradual underflow can we achieve reliability easily
1 edition published in 1983 in English and held by 6 WorldCat member libraries worldwide
In this paper we examine the effects of underflow on solving systems of linear equations using Gaussian Elimination. Our goal is to decide if reliable software for solving linear in the presence of underflow can be written at reasonable cost. We contrast the utilities of gradual underflow and "store zero", and show that only by using gradual underflow can we achieve reliability easily
Evaluation of single and multiple processor office workstations by Robert David Selinger(
)
2 editions published in 1983 in English and held by 5 WorldCat member libraries worldwide
2 editions published in 1983 in English and held by 5 WorldCat member libraries worldwide
A prolog compiler for the PLM by
Peter VanRoy(
Book
)
1 edition published in 1984 in English and held by 5 WorldCat member libraries worldwide
This report documents the design and implementation of a Prolog compiler for the Prolog Machine (PLM) under development at Berkeley. The target instruction set is a modified version of David Warren's Prolog instruction set. The compiler has been written in Prolog and generates near optimal code in a time and space efficient manner. The efficient compilation of disjunctions and cut is supported. The complete working of the compiler is discussed in detail. Directions for further research are recommended
1 edition published in 1984 in English and held by 5 WorldCat member libraries worldwide
This report documents the design and implementation of a Prolog compiler for the Prolog Machine (PLM) under development at Berkeley. The target instruction set is a modified version of David Warren's Prolog instruction set. The compiler has been written in Prolog and generates near optimal code in a time and space efficient manner. The efficient compilation of disjunctions and cut is supported. The complete working of the compiler is discussed in detail. Directions for further research are recommended
1986 VLSI tools : still more works by the original artists(
Book
)
1 edition published in 1986 in English and held by 5 WorldCat member libraries worldwide
1 edition published in 1986 in English and held by 5 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 University of California, Berkeley
 Demmel, James W. Author
 Ousterhout, John K. Author
 Karp, Richard M. 1935 Author
 Powell, Michael L. Author
 Heath, Michael T.
 Vorst, H. A. van der 1944
 University of California, Berkeley Institute of Transportation Studies
 Partners for Advanced Transit and Highways (Calif.)
 California Department of Transportation
Associated Subjects
Algebras, Linear Compilers (Computer programs) Compiling (Electronic computers) Computer algorithms Computer architecture Computer graphics Computer interfaces Computer programming Computers ComputersReliability Database management Decomposition (Mathematics) Difference sets Eigenvalues Eigenvectors Faulttolerant computing Hypertext systems Image processingDigital techniques Information storage and retrieval systems Integrated circuitsVery large scale integration Interactive multimedia Jordan matrix Linear systems Manufacturing processesStudy and teaching Multimedia systems Numerical analysis Numerical calculations Operating systems (Computers) Partitions (Mathematics) Programming languages (Electronic computers) Prolog (Computer program language) SemiconductorsStudy and teaching Set theory Transducers University of California, Berkeley.Computer Science Division
Alternative Names
University of California, Berkeley
CSD
UCB CSD
University of California Berkeley, Calif Computer Science Division
University of California, Berkeley Computer Science Division
University of California, Berkeley Computer Sciences Division
University of California Berkeley Department of Electrical Engineering and Computer Science Computer Science Division
University of California, Berkeley. Department of Electrical Engineering and Computer Sciences. Computer Sciences Division
University of California, Berkeley. Dept. of Electrical Engineering and Computer Sciences. Computer Science Division
Languages