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," 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

UPDATE