Aliasing - PDFSEARCH.IO - Document Search Engine

Aliasing
Results: 347

#	Item
131	Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version) Add to Reading List Source URL: liu.diva-portal.org Language: English - Date: 2010-07-16 02:44:55 Computing Data types Type theory Procedural programming languages Polyspace Abstract interpretation Static program analysis Type system Aliasing Program analysis Software engineering Programming language theory
132	Eurographics Symposium on Rendering[removed]H. W. Jensen, A. Keller (Editors) Light Space Perspective Shadow Maps Michael Wimmer, Daniel Scherzer and Werner Purgathofer Vienna University of Technology, Austria Add to Reading List Source URL: www.cg.tuwien.ac.at Language: English - Date: 2004-06-08 07:30:56 Shadow mapping Shadow volume Spatial anti-aliasing Depth map Texture mapping Viewing frustum Perspective Rendering Map projection Computer graphics Shading 3D computer graphics
133	Alias Types for Recursive Data Structures ∗ David Walker and Greg Morrisett Cornell University Abstract Linear type systems permit programmers to deallocate or Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-03-08 17:54:02 Primitive types Pointer Type safety Reference Aliasing Linked list Stack Software engineering Data types Computing
134 $to appear in \Maximum Entropy and Bayesian Methods,$	to appear in \Maximum Entropy and Bayesian Methods," G. Erickson ed., 2000, Kluwer \NONUNIFORM SAMPLING: BANDWIDTH AND ALIASING" Add to Reading List Source URL: bayes.wustl.edu Language: English - Date: 2010-12-21 17:21:39 Mathematics Signal processing Integral transforms Unitary operators Discrete Fourier transform Fourier transform Spectral density Window function Bandlimiting Mathematical analysis Fourier analysis Digital signal processing
135	Alias Types ∗ Frederick Smith David Walker Greg Morrisett Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-03-08 17:27:08 Data types Pointer Type safety Stack C Aliasing Software engineering Computing Programming language theory
136	Alias Types Frederick Smith David Walker ? Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-03-08 17:27:08 Data types Pointer Type safety Stack Aliasing C Software engineering Computing Programming language theory
137	Bounds Checking: An Instance of Hybrid Analysis Troels Henriksen, Cosmin E. Oancea HIPERFIT, Department of Computer Science, University of Copenhagen (DIKU) [removed], [removed] Abstract Add to Reading List Source URL: hiperfit.dk Language: English Data types Array data type Pointer Type system ALGOL 68 Anonymous function Lookup table Aliasing Array data structure Computing Software engineering Computer programming
138	ANTI-ALIASED HEMICUBES FOR PERFORMANCE IMPROVEMENT IN RADIOSITY SOLUTIONS Naga Kiran S. P. Mudur Sharat Chandran Add to Reading List Source URL: wscg.zcu.cz Language: English - Date: 2001-01-12 10:05:30 Imaging Optics Radiosity Rendering Hemicube Ray tracing View factor Spatial anti-aliasing 3D computer graphics Heat transfer Computer graphics
139	Alias Types for Recursive Data Structures ∗ (Extended Version) David Walker and Greg Morrisett Cornell University Abstract Linear type systems permit programmers to deallocate or Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-03-08 17:34:40 Primitive types Pointer Type safety Reference Aliasing Linked list Stack Software engineering Data types Computing
140	The Design and Implementation of a Certifying Compiler George C. Necula Peter Lee School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213{3891 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:07 Compiler construction Programming language implementation Computer errors Program analysis Data types Compiler Bounds-checking elimination C Aliasing Computing Software engineering Software