Search results for "aliasing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	William Landi, Barbara G. Ryder, Sean Zhang	Interprocedural Side Effect Analysis With Pointer Aliasing.	PLDI	1993	DBLP DOI BibTeX RDF	C
23	Alain Deutsch	On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications.	POPL	1990	DBLP DOI BibTeX RDF
23	Hans-Juergen Boehm	Side Effects and Aliasing Can Have Simple Axiomatic Descriptions.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
23	Leslie Lamport, Fred B. Schneider	Constraints: A Uniform Approach to Aliasing and Typing.	POPL	1985	DBLP DOI BibTeX RDF
23	Harinath Garudadri, Pawan K. Baheti, Somdeb Majumdar	Low complexity sensors for body area networks.	PETRA	2010	DBLP DOI BibTeX RDF	low power sensor nodes, aliasing, compressed sensing, body area networks
23	Greta Yorsh, Eran Yahav, Satish Chandra 0001	Generating precise and concise procedure summaries.	POPL	2008	DBLP DOI BibTeX RDF	micro-transformers, relational analysis, symbolic summary, typestate verification, composition, summarization, aliasing, dataflow analysis
23	Arthur Charguéraud, François Pottier	Functional translation of a calculus of capabilities.	ICFP	2008	DBLP DOI BibTeX RDF	type systems, effects, monads, aliasing, linearity, capabilities, regions, ownership
23	Fernando Magno Quintão Pereira, Jens Palsberg	Register allocation by puzzle solving.	PLDI	2008	DBLP DOI BibTeX RDF	puzzle solving, register aliasing, register allocation
23	Weiwei Lv, Xuehui Liu, Enhua Wu	Practical hybrid pre-filtering shadow maps.	VRCAI	2008	DBLP DOI BibTeX RDF	exponential shadow maps, anti-aliasing, shadow map
23	Remo Ziegler, Peter Kaufmann, Markus H. Gross	A Framework for Holographic Scene Representation and Image Synthesis.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	light propagation, aliasing, image synthesis, graphics representation, Holography, wave, diffraction
23	Stephen R. Schach, Tokunbo O. S. Adeshiyan, Daniel Balasubramanian, Gabor Madl, Esteban Osses, Sameer Singh 0001, Karlkim Suwanmongkol, Minhui Xie, Dror G. Feitelson	Common coupling and pointer variables, with application to a Linux case study.	Softw. Qual. J.	2007	DBLP DOI BibTeX RDF	Pointer variables, Definition-use analysis, Linux, Aliasing, Global variables, Common coupling
23	Peter Müller 0001, Arsenii Rudich	Ownership transfer in universe types.	OOPSLA	2007	DBLP DOI BibTeX RDF	universe types, aliasing, uniqueness, ownership transfer
23	Akira Kubota, Kazuya Kodama, Yoshinori Hatori	Image-Based Refocusing by 3D Filtering.	PSIVT	2007	DBLP DOI BibTeX RDF	Refocus, 3D Filtering, Aliasing, Light Field
23	Meeyoung Cha, Haewoon Kwak, Pablo Rodriguez 0001, Yong-Yeol Ahn, Sue B. Moon	I tube, you tube, everybody tubes: analyzing the world's largest user generated content video system.	Internet Measurement Conference	2007	DBLP DOI BibTeX RDF	content aliasing, popularity analysis, p2p, caching, power-law, user generated content, long tail, vod
23	Johannes Kopf 0001, Daniel Cohen-Or, Oliver Deussen, Dani Lischinski	Recursive Wang tiles for real-time blue noise.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	Poisson disk distribution, non-periodic tiling, object positioning, sampling, texture synthesis, anti-aliasing, blue noise, Wang tiles, stippling
23	Alexander Reshetov, Alexei Soupikov, Jim Hurley	Multi-level ray tracing algorithm.	ACM Trans. Graph.	2005	DBLP DOI BibTeX RDF	frustum occlusion culling, ray-tracing, anti-aliasing
23	Kelvin Sung, Andrew Pearce, Changyaw Wang	Spatial-Temporal Antialiasing.	IEEE Trans. Vis. Comput. Graph.	2002	DBLP DOI BibTeX RDF	temporal aliasing, rendering, antialiasing
23	David G. Clarke, Sophia Drossopoulou	Ownership, encapsulation and the disjointness of type and effect.	OOPSLA	2002	DBLP DOI BibTeX RDF	aliasing, encapsulation, ownership types, type-and-effects systems
23	Markus Seuring, Krishnendu Chakrabarty	Space Compaction of Test Responses for IP Cores Using Orthogonal Transmission Functions.	VTS	2000	DBLP DOI BibTeX RDF	non-modeled faults, one-step compaction, two-step compaction, error detection, transparency, Aliasing
23	Donglin Liang, Mary Jean Harrold	Efficient Points-to Analysis for Whole-Program Analysis.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF	Aliasing analysis, points-to graph, pointer analysis
23	Mohammed Fadle Abdulla, C. P. Ravikumar, Anshul Kumar	Optimization of Mutual and Signature Testing Schemes for Highly Concurrent Systems.	J. Electron. Test.	1998	DBLP DOI BibTeX RDF	mutual checking, multiple signature testing, self loops, built-in self test, aliasing
23	Dariusz Badura, Andrzej Hlawiczka	Low Cost Bist for Edac Circuits.	Asian Test Symposium	1997	DBLP DOI BibTeX RDF	CBIST, EDAC, error aliasing, fault coverage, self-test
23	Manuel V. Hermenegildo	Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming.	Euro-Par	1997	DBLP DOI BibTeX RDF	Pointer Aliasing Analysis, Task Granularity Control, Abstract Interpretation, Automatic Parallelization, Speculation, Global Analysis, Irregular Computations
23	Tapas K. Sarkar	A Composition-Alias Method for Generating Gamma Variates With Shape Parameter Greater Than 1.	ACM Trans. Math. Softw.	1996	DBLP DOI BibTeX RDF	squeeze method, aliasing, acceptance-rejection
23	Mary Jean Harrold, Gregg Rothermel	Separate Computation of Alias Information for Reuse.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	separate analysis, static analysis, reuse, data flow analysis, Aliasing, pointers
23	Chen-Pin Kung, Chun-Jieh Huang, Chen-Shang Lin	Fast fault simulation for BIST applications.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	signature computation, BIST applications, combinational fault simulation, BISTSIM, demand-driven logic simulation algorithm, fault propagation methods, bit-array computation, parallel-pattern sequential simulation, speedup ratio, VLSI, VLSI, logic testing, built-in self test, integrated circuit testing, combinational circuits, digital simulation, circuit analysis computing, aliasing, test patterns, MISR
23	Sukumar Nandi, Parimal Pal Chaudhuri	Theory and applications of cellular automata for synthesis of easily testable combinational logic.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	testable combinational logic, combinational logic blocks, test machine, data path synthesis phase, autonomous mode, aliasing error probability, associated lines, test application overheads, test parallelism, simultaneous testing, multiple combinational modules, graph theory, fault diagnosis, logic testing, high level synthesis, test generation, cellular automata, cellular automata, design for testability, combinational circuits, logic CAD, stuck-at faults, shift registers, cost effectiveness, registers, test vectors, test responses, state transition graph
23	Charles E. Stroud, T. Raju Damarla	Improving the efficiency of error identification via signature analysis.	VTS	1995	DBLP DOI BibTeX RDF	error identification, single bit errors, input polynomial, least common multiple, diagnostic aliasing, multiple bit errors, nonprimitive polynomials, VLSI, VLSI, fault diagnosis, logic testing, built-in self test, integrated circuit testing, BIST, signature analysis, characteristic polynomial
23	Marius V. A. Hâncu, Kazuhiko Iwasaki, Yuji Sato, Mamoru Sugie	A Concurrent Test Architecture for Massively Parallel Computers and Its Error Detection Capability.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	concurrent test architecture, onlinemonitoring, system level monitoring, run-timetesting, message source address, messagedestination address, block compressed sequence, concurrent instruction compression, computational block, reference image, onlinesystem-level testing, data routing process, packet-switched routing, compilation, probability, multiprocessors, error detection, error detection, parallel machines, data dependences, network routing, signature analysis, control dependences, massively parallel computers, computer testing, aliasing probability, control flow checking
23	Gus Lopez, Bjørn N. Freeman-Benson, Alan Borning	Constraints and Object Identity.	ECOOP	1994	DBLP DOI BibTeX RDF	constraint imperative programming, Kaleidoscope, constraints, aliasing, object identity
23	Rajiv Gupta 0001	A fine-grained MIMD architecture based upon register channels.	MICRO	1990	DBLP BibTeX RDF	multiprocessor system, parallelizing compilers, instruction scheduling, aliasing, channels, fine-grained parallelism
23	Tom Duff	Compositing 3-D rendered images.	SIGGRAPH	1985	DBLP DOI BibTeX RDF	3-D rendering, compositing, image synthesis, anti-aliasing, Z-buffer, hidden-surface elimination
23	Mark E. Lee, Richard A. Redner, Samuel P. Uselton	Statistically optimized sampling for distributed ray tracing.	SIGGRAPH	1985	DBLP DOI BibTeX RDF	ray tracing, transparency, shadows, anti-aliasing, translucency, penumbras
17	Eriko Kimura, Naoki Kawai, Kazunori Miyata	Practical 3D decoration on flat media with anisotropic reflection.	SIGGRAPH Posters	2010	DBLP DOI BibTeX RDF
17	Rim Barrak, Adel Ghazel, Fadhel M. Ghannouchi	Optimized multistandard RF subsampling receiver architecture.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
17	Jack Whitham, Neil C. Audsley	Implementing time-predictable load and store operations.	EMSOFT	2009	DBLP DOI BibTeX RDF	wcet, scratchpad
17	Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco Pistoia	Static Specification Mining Using Automata-Based Abstractions.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
17	Asadollah Shahbahrami, Ben H. H. Juurlink, Stamatis Vassiliadis	Implementing the 2-D Wavelet Transform on SIMD-Enhanced General-Purpose Processors.	IEEE Trans. Multim.	2008	DBLP DOI BibTeX RDF
17	Sang-Gyun Kim, Chang D. Yoo, Truong Q. Nguyen	Alias-Free Subband Adaptive Filtering With Critical Sampling.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
17	A. Malekpour, T. C. Ling, W. C. Lim	Location Determination Using Radio Frequency RSSI and Deterministic Algorithm.	CNSR	2008	DBLP DOI BibTeX RDF	Wireless LAN, Estimation, Mobile communication, Deterministic algorithms, Antialiasing
17	Felix Werner, Charles Gretton, Frédéric Maire, Joaquin Sitte	Induction of topological environment maps from sequences of visited places.	IROS	2008	DBLP DOI BibTeX RDF
17	Satoshi Ito, Shun Nakamura, Na Liu, Yoshifumi Yamada	Anti-alias image reconstruction in magnetic resonance imaging.	ICASSP	2008	DBLP DOI BibTeX RDF
17	Jussi Pekonen, Vesa Välimäki	Filter-based alias reduction for digital classical waveform synthesis.	ICASSP	2008	DBLP DOI BibTeX RDF
17	Heinrich W. Löllmann, Peter Vary	Design of IIR QMF banks with near-perfect reconstruction and low complexity.	ICASSP	2008	DBLP DOI BibTeX RDF
17	Thomas Annen, Tom Mertens, Hans-Peter Seidel, Eddy Flerackers, Jan Kautz	Exponential shadow maps.	Graphics Interface	2008	DBLP BibTeX RDF
17	Alain Horé, François Deschênes, Djemel Ziou	A Simple Scaling Algorithm Based on Areas Pixels.	ICIAR	2008	DBLP DOI BibTeX RDF	area pixel, mid point rule, scaling, standard deviation, Resizing
17	Taehoon Shin, Jon-Fredrik Nielsen, Krishna S. Nayak	Accelerating Dynamic Spiral MRI by Algebraic Reconstruction From Undersampled -t Space.	IEEE Trans. Medical Imaging	2007	DBLP DOI BibTeX RDF
17	Patrick Vandewalle, Luciano Sbaiz, Joos Vandewalle, Martin Vetterli	Super-Resolution From Unregistered and Totally Aliased Signals Using Subspace Methods.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
17	Imari Sato, Takahiro Okabe, Yoichi Sato	Appearance Sampling of Real Objects for Variable Illumination.	Int. J. Comput. Vis.	2007	DBLP DOI BibTeX RDF	physics-based computer vision, Reflectance analysis, Image-based modeling and rendering
17	Peter Hansen 0003, Peter Corke, Wageeh W. Boles, Kostas Daniilidis	Scale-Invariant Features on the Sphere.	ICCV	2007	DBLP DOI BibTeX RDF
17	David Bowling, Gregory P. Starr, John E. Wood, Ronald Lumia	Wide Band Suppression of Motion-Induced Vibration.	ICRA	2007	DBLP DOI BibTeX RDF
17	Donald Gordon, James Noble 0001	Dynamic ownership in a dynamic language.	DLS	2007	DBLP DOI BibTeX RDF	ownership, dynamic languages
17	Jinhua Sheng, Leslie Ying, Erik Wiener, Bo Liu	Joint Estimation of Image and Coil Sensitivities in Parallel Spiral MRI.	ISBI	2007	DBLP DOI BibTeX RDF
17	Werner Dietl, Sophia Drossopoulou, Peter Müller 0001	Generic Universe Types.	ECOOP	2007	DBLP DOI BibTeX RDF
17	Xiao-Liang Miao, Wanggen Wan, Jing-Zhou Tang, Zhengchun Zhou	Implementation of Dynamic Anti-Aliased Shadow Algorithm in 3D Scene.	ICME	2007	DBLP DOI BibTeX RDF
17	Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia	Static specification mining using automata-based abstractions.	ISSTA	2007	DBLP DOI BibTeX RDF	static analysis, abstract interpretation, typestate, specification mining
17	Bob Schell, Yannis P. Tsividis	Analysis of Continuous-Time Digital Signal Processors.	ISCAS	2007	DBLP DOI BibTeX RDF
17	Alain Horé, Djemel Ziou, François Deschênes	A New Image Scaling Algorithm Based on the Sampling Theorem of Papoulis.	ICIAR	2007	DBLP DOI BibTeX RDF	Papoulis, image, scaling, resolution, curvature, derivatives, resizing
17	Nagita Mehrseresht, David S. Taubman	A flexible structure for fully scalable motion-compensated 3-D DWT with emphasis on the impact of spatial scalability.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
17	Jiazheng Shi, Stephen E. Reichenbach	Image Interpolation by Two-Dimensional Parametric Cubic Convolution.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
17	Nagita Mehrseresht, David S. Taubman	An efficient content-adaptive motion-compensated 3-D DWT with enhanced spatial and temporal scalability.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
17	Amy R. Reibman, Robert M. Bell, Sharon Gray	Quality assessment for super-resolution image enhancement.	ICIP	2006	DBLP DOI BibTeX RDF
17	Yuri Vatis, Jörn Ostermann	Locally Adaptive Non-Separable Interpolation Filter for H.264/AVC.	ICIP	2006	DBLP DOI BibTeX RDF
17	Kamal Aboul-Hosn	An Axiomatization of Arrays for Kleene Algebra with Tests.	RelMiCS	2006	DBLP DOI BibTeX RDF
17	Bart Jacobs 0002, Jan Smans, Frank Piessens, Wolfram Schulte	A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs.	ICFEM	2006	DBLP DOI BibTeX RDF
17	Peter Hallschmid, Resve A. Saleh	Fast Configuration of an Energy-Efficient Branch Predictor.	ISVLSI	2006	DBLP DOI BibTeX RDF
17	Taehoon Shin, Jon-Fredrik Nielsen, Krishna S. Nayak	Reconstruction of undersampled dynamic spiral MR images.	ISBI	2006	DBLP DOI BibTeX RDF
17	Frances Perry, Limin Jia 0001, David Walker 0001	Expressing heap-shape contracts in linear logic.	GPCE	2006	DBLP DOI BibTeX RDF	heap shape, contracts, linear logic, assertions
17	Alexey Gotsman, Josh Berdine, Byron Cook	Interprocedural Shape Analysis with Separated Heap Abstractions.	SAS	2006	DBLP DOI BibTeX RDF
17	Cyril Charron, Ouiddad Labbani-Igbida, El Mustapha Mouaddib	On Building Omnidirectional Image Signatures Using Haar Invariant Features: Application to the Localization of Robots.	ACIVS	2006	DBLP DOI BibTeX RDF
17	William Donnelly, Andrew Lauritzen	Variance shadow maps.	SI3D	2006	DBLP DOI BibTeX RDF	shader programming, graphics hardware, real-time rendering, shadow maps
17	Mango Chia-Tso Chao, Kwang-Ting Cheng, Seongmoon Wang, Srimat T. Chakradhar, Wenlong Wei	Unknown-tolerance analysis and test-quality control for test response compaction using space compactors.	DAC	2006	DBLP DOI BibTeX RDF	design for test, test response compaction
17	Keigo Hirakawa, Thomas W. Parks	Adaptive homogeneity-directed demosaicing algorithm.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
17	Patrick Vandewalle, Luciano Sbaiz, Martin Vetterli, Sabine Süsstrunk	Super-resolution from highly undersampled images.	ICIP (1)	2005	DBLP DOI BibTeX RDF
17	Gwendoline Blanchet, Lionel Moisan, Bernard Rougé	A linear prefilter for image sampling with ringing artifact control.	ICIP (3)	2005	DBLP DOI BibTeX RDF
17	Akira Kubota, Kiyoharu Aizawa, Tsuhan Chen	Direct filtering method for image based rendering.	ICIP (3)	2005	DBLP DOI BibTeX RDF
17	Roy A. Sivley, Joseph P. Havlicek	Multidimensional phase unwrapping for consistent APF estimation.	ICIP (2)	2005	DBLP DOI BibTeX RDF
17	Lin Qiao, Weitong Huang, Zhizhong Tang	A Dynamic Data Dependence Analysis Approach for Software Pipelining.	NPC	2005	DBLP DOI BibTeX RDF
17	Peter William Longhurst, Kurt Debattista, Richard Gillibrand, Alan Chalmers	Analytic Antialiasing for Selective High Fidelity Rendering.	SIBGRAPI	2005	DBLP DOI BibTeX RDF
17	Yi-Ran Sun, Svante Signell	Generalized quadrature bandpass sampling with FIR filtering.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
17	Heung-Yeung Shum, Jian Sun 0001, Shuntaro Yamazaki, Yin Li, Chi-Keung Tang	Pop-up light field: An interactive image-based modeling and rendering system.	ACM Trans. Graph.	2004	DBLP DOI BibTeX RDF	interactive techniques, Image-based rendering, layers, light field, matting, lumigraph
17	Sukhwan Lim, John G. Apostolopoulos, Abbas El Gamal	Benefits of temporal oversampling in optical flow estimation.	ICIP	2004	DBLP DOI BibTeX RDF
17	Ching-Hsiang Tseng	A novel method for identifying cubically nonlinear systems using minimally bandpass sampled data.	ISCAS (4)	2004	DBLP DOI BibTeX RDF
17	Zoran Cvetkovic, James D. Johnston	Nonuniform oversampled filter banks for audio signal processing.	IEEE Trans. Speech Audio Process.	2003	DBLP DOI BibTeX RDF
17	Jan Mark de Haan, Nedelko Grbic, Ingvar Claesson, Sven E. Nordholm	Filter bank design for subband adaptive microphone arrays.	IEEE Trans. Speech Audio Process.	2003	DBLP DOI BibTeX RDF
17	Luigi Alfredo Grieco, Saverio Mascolo	End-to-End Bandwidth Estimation for Congestion Control in Packet Networks.	QoS-IP	2003	DBLP DOI BibTeX RDF
17	Patrick Lam 0001, Martin C. Rinard	A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information.	ECOOP	2003	DBLP DOI BibTeX RDF
17	Miguel Benedito Furtado Jr., Paulo S. R. Diniz, Sergio L. Netto	Optimization techniques for cosine-modulated filter banks based on the frequency-response masking approach.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
17	Roger J. Zemp, Craig K. Abbey, Michael F. Insana	Ideal Observer Model for Detection of Blood Perfusion and Flow Using Ultrasound.	IPMI	2003	DBLP DOI BibTeX RDF
17	Matthias Zwicker, Hanspeter Pfister, Jeroen van Baar, Markus H. Gross	EWA Splatting.	IEEE Trans. Vis. Comput. Graph.	2002	DBLP DOI BibTeX RDF	volume rendering, texture mapping, antialiasing, Rendering systems, splatting
17	Marc Stamminger, George Drettakis	Perspective shadow maps.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	rendering, graphics hardware, illumination, shadow algorithms, level of detail algorithms, frame buffer algorithms
17	Normand Beaudoin, Steven S. Beauchemin	Accurate Numerical Fourier Transform in d-Dimensions.	SNSC	2001	DBLP DOI BibTeX RDF
17	Randima Fernando, Sebastian Fernandez, Kavita Bala, Donald P. Greenberg	Adaptive shadow maps.	SIGGRAPH	2001	DBLP DOI BibTeX RDF	rendering, shadow algorithms
17	Thomas Clouqueur, Ozen Ercevik, Kewal K. Saluja, Hiroshi Takahashi	Efficient Signature-Based Fault Diagnosis Using Variable Size Windows.	VLSI Design	2001	DBLP DOI BibTeX RDF
17	Toshiro Kubota, Terrance L. Huntsberger, Jeffrey T. Martin	Edge Based Probabilistic Relaxation for Sub-pixel Contour Extraction.	EMMCVPR	2001	DBLP DOI BibTeX RDF	feature extraction, segmentation, relaxation labelling
17	Frederick Smith, David Walker 0001, J. Gregory Morrisett	Alias Types.	ESOP	2000	DBLP DOI BibTeX RDF
17	G. Viswanath, T. V. Sreenivas	Cone-kernel representation versus instantaneous power spectrum.	IEEE Trans. Signal Process.	1999	DBLP DOI BibTeX RDF
17	Esteban Walter Gonzalez Clua, Marcelo Dreux, Marcelo Gattass	2D Texture Refinement Using Procedural Functions.	IV	1999	DBLP DOI BibTeX RDF	Procedural functions, interpolation, texture-mapping
17	Damjan Zazula	Higher-Order Statistics Used for Decomposition of SEMGs.	CBMS	1999	DBLP DOI BibTeX RDF	Bicepstral system identification, Interpolated cepstra calculation, Decomposition of compound signals, Surface electromyograms, Higher-order statistics
17	Andrea Bonarini, Claudio Bonacina, Matteo Matteucci	Fuzzy and Crisp Representations of Real-Valued Input for Learning Classifier Systems.	Learning Classifier Systems	1999	DBLP DOI BibTeX RDF