|
|
Creator | Title | Description | Subject | Date |
1 |
|
Gopalakrishnan, Ganesh | A symbolic partial order reduction algorithm for rule based transition systems | Partial order reductions are a class of methods that attempt to reduce the state space that must be explored to verify systems by explicit state enumeration. Partial order reduction algorithms have been successfully incorporated into tools such as Spin and VFSM-valid. However, current partial ord... | Partial order reductions; Partial order reduction algorithms; SAT solver; Rule based transition systems | 2003-12-01 |
2 |
|
Gu, Jun | Fast structured design of VLSI circuits | We believe that a structured, user-friendly, cost-effective tool for rapid implementation of VLSI circuits which encourages students to participate directly in research projects are the key components in digital integrated circuit (IC) education. In this paper, we introduce our VLSI education activ... | VLSI circuits; Rapid implementation | 1988 |
3 |
|
Dintelman, Sue Marie Thompson | Design and implementation of a relational data base system for a minicomputer | A data base system provides the advantages of centralized control of data including increased data independence. Design specifications for a low level relational data base interface are given in the form of a formal description which separates the implementation details from the description of the ... | Data base system | 1977 |
4 |
|
Gopalakrishnan, Ganesh | A partial order reduction algorithm without the Proviso | This paper presents a partial order reduction algorithm, called Two phase, that preserves stutter free LTL properties. Two phase dramatically reduces the number of states visited compared to previous partial order reduction algorithms on most practical protocols. The reason can be traced to a step o... | Order reduction algorithm; Proviso step | 1998 |
5 |
|
Shirley, Peter S. | Natural image statistics for computer graphics | The class of all natural images is an infinitely small fraction of all possible images. The structure of natural images can be statistically modeled, revealing striking regularities. The human visual system appears to be optimized to view natural images, as opposed to any possible image, and therefo... | Natural image | 2001 |
6 |
|
Pascucci, Valerio | Characterization and modeling of PIDX parallel I/O for performance optimization | Parallel I/O library performance can vary greatly in re- sponse to user-tunable parameter values such as aggregator count, file count, and aggregation strategy. Unfortunately, manual selection of these values is time consuming and dependent on characteristics of the target machine, the underlying fi... | | 2013-01-01 |
7 |
|
Evans, David | Display of complex three dimensional finite element models | Complex three dimensional models can be displayed after an automatic generation of a finite element (panel) mapping. although this automatic generation algorithm fails at certain levels of model complexity, the elimination of these failures can be accomplished through user interaction. This report p... | Three dimensional models; Finite element models | 1978 |
8 |
|
Regehr, John | Finding and understanding bugs in C compilers | Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bugs. During this period we reported more than 325 previously unknown bugs to compiler developers. Every compiler we tested w... | | 2011-01-01 |
9 |
|
Lindstrom, Gary E. | Object-oriented programming in scheme with first-class modules and operator-based inheritance | We characterize object-oriented programming as structuring and manipulating a uniform space of first-class values representing modules, a distillation of the notion of classes. Operators over modules individually achieve effects such as encapsulation, sharing, and static binding. A variety of idioms... | First-class modules; Operator-based inheritance | 1995 |
10 |
|
Painter, James S. | Radioptimization - Goal based rendering | This paper presents a method for designing the illumination in an environment using optimization techniques applied to a radiosity based image synthesis system. An optimization of lighting parameters is performed based on user specified constraints and objectives for the illumination of t h e envir... | Radioptimization; Illumination; Optimization; Lighting parameters; Radiosity based image synthesis | 1993 |
11 |
|
Tasdizen, Tolga; Whitaker, Ross T. | Higher-order nonlinear priors for surface reconstruction | For surface reconstruction problems with noisy and incomplete range data, a Bayesian estimation approach can improve the overall quality of the surfaces. The Bayesian approach to surface estimation relies on a likelihood term, which ties the surface estimate to the input data, and the prior, whic... | Surface reconstruction; Bayesian approach; Nonlinear prior | 2002-12-09 |
12 |
|
Crow, Franklin C. | The aliasing problem in computer-synthesized shaded images | This paper describes work toward improving the quality of computer-synthesized shaded images. Current (practical) hidden-surface algorithms produce an image whose precision is strictly limited by the number of picture elements. Problems caused by this limitation are described and explained in the t... | aliasing problem; shaded images; hidden-surface algorithms | 1976 |