|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1160 occurrences of 667 keywords
|
|
|
Results
Found 1521 publication records. Showing 1521 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
33 | David G. Clarke, John Potter, James Noble 0001 |
Ownership Types for Flexible Alias Protection. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
alias protection, representation exposure, sharing, containment, ownership, programming language design |
33 | James Noble 0001, Jan Vitek, John Potter |
Flexible Alias Protection. |
ECOOP |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Behzad Sharif, Yoram Bresler |
Upper bounds on aliasing error energy for multidimensional sampling of nonbandlimited signals. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Ken'ichi Kumatani, John W. McDonough, S. Schachl, Dietrich Klakow, Philip N. Garner, Weifeng Li 0001 |
Filter bank design based on minimization of individual aliasing terms for minimum mutual information subband adaptive beamforming. |
ICASSP |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Dave Clarke 0001, Sophia Drossopoulou, Peter Müller 0001, James Noble 0001, Tobias Wrigstad |
Aliasing, Confinement, and Ownership in Object-Oriented Programming. |
ECOOP Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Jonathan Gan, David Taubman |
Non-Separable Wavelet-Like Lifting Structure for Image and Video Compression with Aliasing Suppression. |
ICIP (6) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Anthony Vetro, Sehoon Yea, Matthias Zwicker, Wojciech Matusik, Hanspeter Pfister |
Overview of Multiview Video Coding and Anti-Aliasing for 3D Displays. |
ICIP (1) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Dave Clarke 0001, Sophia Drossopoulou, James Noble 0001, Tobias Wrigstad |
Aliasing, Confinement, and Ownership in Object-Oriented Programming. |
ECOOP Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Yuri Vatis, Bernd Edler, Dieu Thanh Nguyen, Jörn Ostermann |
Motion-and aliasing-compensated prediction using a two-dimensional non-separable adaptive Wiener interpolation filter. |
ICIP (2) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Irith Pomeranz, Srikanth Venkataraman, Sudhakar M. Reddy |
Fault Diagnosis and Fault Model Aliasing. |
ISVLSI |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Veronica Sundstedt, Kurt Debattista, Alan Chalmers |
Perceived aliasing thresholds in high-fidelity rendering. |
APGV |
2005 |
DBLP DOI BibTeX RDF |
|
32 | David G. Clarke, Sophia Drossopoulou, James Noble 0001 |
Aliasing, Confinement, and Ownership in Object-Oriented Programming. |
ECOOP Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Christoforos N. Hadjicostis |
Aliasing probability calculations in nonlinear compactors. |
ISCAS (5) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Shinya Nagata, Yoshihiko Horio |
Influences of anti-aliasing filter on estimation of the largest Lyapunov exponent. |
ISCAS (3) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Xuguang Yang, Kannan Ramchandran |
Scalable wavelet video coding using aliasing-reduced hierarchical motion compensation. |
IEEE Trans. Image Process. |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Harish Patil, Joel S. Emer |
Combining Static and Dynamic Branch Prediction to Reduce Destructive Aliasing. |
HPCA |
2000 |
DBLP DOI BibTeX RDF |
Conditional branch prediction, static branch prediction, profile-based optimization |
32 | Jin Ding, David Moloney, Xiaojun Wang 0001 |
Aliasing-Free Space and Time Compactions with Limited Overhead. |
ISQED |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro |
Aliasing Models for Object Migration. |
Euro-Par |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Tsuyoshi Isshiki, Hiroaki Kunieda |
Efficient anti-aliasing algorithm for computer generated images. |
ISCAS (4) |
1999 |
DBLP DOI BibTeX RDF |
|
32 | Krishnendu Chakrabarty, John P. Hayes |
Zero-aliasing space compaction of test responses using multiple parity signatures. |
IEEE Trans. Very Large Scale Integr. Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Krishnendu Chakrabarty |
Zero-aliasing space compaction using linear compactors with bounded overhead. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
32 | James Noble 0001, John Potter |
Change Detection for Aggregate Objects with Aliasing. |
Australian Software Engineering Conference |
1997 |
DBLP DOI BibTeX RDF |
|
32 | Wolfgang Gellerich, Erhard Plödereder |
: Parameter-Induced Aliasing and Related Problems can be Avoided. |
Ada-Europe |
1997 |
DBLP DOI BibTeX RDF |
|
32 | Slawomir Pilarski, Tiko Kameda, André Ivanov |
Sequential faults and aliasing. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1993 |
DBLP DOI BibTeX RDF |
|
32 | André Ivanov, Yervant Zorian |
Count-based BIST compaction schemes and aliasing probability computation. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1992 |
DBLP DOI BibTeX RDF |
|
32 | Keiho Akiyama, Kewal K. Saluja |
A method of reducing aliasing in a built-in self-test environment. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1991 |
DBLP DOI BibTeX RDF |
|
32 | Micaela Serra, Terry Slater, Jon C. Muzio, D. Michael Miller |
The analysis of one-dimensional linear cellular automata and their aliasing properties. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
32 | Maurizio Damiani, Piero Olivo, Michele Favalli, Silvia Ercolani, Bruno Riccò |
Aliasing in signature analysis testing with multiple input shift registers. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
32 | Ben Heggy, Mary Lou Soffa |
Architectural support for register allocation in the presence of aliasing. |
SC |
1990 |
DBLP DOI BibTeX RDF |
|
32 | Kenneth Turkowski |
Anti-aliasing in topological color spaces. |
SIGGRAPH |
1986 |
DBLP DOI BibTeX RDF |
|
32 | Tayeb Medjeldi, Alain Horé, Djemel Ziou |
Enhancement of the Quality of Images through Complex Mosaic Configurations. |
ICIAR |
2009 |
DBLP DOI BibTeX RDF |
color filter array, subpixel, sampling, Image quality, aliasing, mosaic |
32 | Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Rustan M. Leino, Wolfram Schulte |
A programming model for concurrent object-oriented programs. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
verification condition generation, Aliasing, data races, ownership, modular reasoning, local reasoning |
32 | Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee 0001 |
A logic for information flow in object-oriented programs. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
information flow, confidentiality, aliasing |
32 | Yih-Chyun Jenq |
Digital Signal Processing with Interleaved ADC Systems. |
J. VLSI Signal Process. |
2005 |
DBLP DOI BibTeX RDF |
interleaved ADC, DSP algorithm, aliasing, filter banks, A/D converter |
32 | Animesh Kumar, Prakash Ishwar, Kannan Ramchandran |
On distributed sampling of smooth non-bandlimited fields. |
IPSN |
2004 |
DBLP DOI BibTeX RDF |
distributed sampling, dither function, non-bandlimited, sensor networks, aliasing, scaling laws, A/D conversion, oversampling |
32 | Alireza Khotanzad, Edmund Zink |
Contour Line and Geographic Feature Extraction from USGS Color Topographical Paper Maps. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2003 |
DBLP DOI BibTeX RDF |
Color map analysis, map segmentation, topographic map contour line extraction, USGS map analysis, aliasing and false colors |
32 | Jonathan Aldrich, Valentin Kostadinov, Craig Chambers |
Alias annotations for program understanding. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
aliasjava, java, type inference, aliasing, encapsulation, ownership types, uniqueness |
32 | Diego Nehab, Marcelo Gattass |
Ray Path Categorization. |
SIBGRAPI |
2000 |
DBLP DOI BibTeX RDF |
ray path categorization, image segmentation algorithms, geometrical information extraction, pixel colors, ray-traced images, category information, rendering process, detected edges, ray tracer, edge detection, edge detection, aliasing, equivalence classes, memory requirements, geometrical information, image rendering |
32 | Mohammed Fadle Abdulla, C. P. Ravikumar, Anshul Kumar |
Built-in Self Test Based on Multiple On-Chip Signature Checking. |
J. Electron. Test. |
1999 |
DBLP DOI BibTeX RDF |
multiple signature comparison testing, BIST, aliasing probability |
32 | Lunjin Lu |
A Mode Analysis of Logic Programs by Abstract Interpretation. |
Ershov Memorial Conference |
1996 |
DBLP DOI BibTeX RDF |
Abstract Unification, Abstract Interpretation, Sharing, Aliasing, Mode |
32 | Naftaly H. Minsky |
Towards Alias-Free Pointers. |
ECOOP |
1996 |
DBLP DOI BibTeX RDF |
pointer-induced aliasing, hiding, programming with threads, storage management, encapsulation |
32 | Roberto Manduchi, Pietro Perona |
Pyramidal implementation of deformable kernels. |
ICIP |
1995 |
DBLP DOI BibTeX RDF |
deformable kernels, pyramidal decomposition, multirate implementation, quadratic error criterion, hypermatrix algebra, multilinear problem, pseudo-SVD, quadratic approximation error minimisation, basis filters, steerable-scalable decomposition, computer vision, computer vision, image processing, image processing, global optimization, singular value decomposition, rendering, iterative methods, matrix algebra, aliasing, filtering theory, rendering (computer graphics), image filtering, Kronecker algebra, iterative procedure |
30 | Chao Wang 0077, Zhongchuan Fu, Hongsong Chen, Wei Ba, Bin Li, Lin Chen, Zexu Zhang, Yuying Wang, Gang Cui |
CFCSS without Aliasing for SPARC Architecture. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
CFCSS(Control Flow Checking by Software Signatures), COTS(Commercial-Off-The-Shelf), multi-core, Aliasing, transient fault |
30 | Nevin Heintze |
Aliasing analysis for a million lines of C. |
ASIA-PEPM |
2002 |
DBLP DOI BibTeX RDF |
aliasing analysis, narrowing conversion errors, scalable program analysis, C, dependence analysis, points-to analysis |
30 | Jyh-Shiarn Yur, Barbara G. Ryder, William Landi |
An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis. |
ICSE |
1999 |
DBLP DOI BibTeX RDF |
interprocedural pointer aliasing, interprocedural side effect analysis, incremental analysis |
30 | Mahmoud S. Elsaholy, Samir I. Shaheen, Reda H. Seireg |
A Unified Analytical Expression for Aliasing Error Probability Using Single-Input. |
IEEE Trans. Computers |
1998 |
DBLP DOI BibTeX RDF |
VLSI, linear feedback shift register, aliasing, Signature analysis, digital testing, transient behavior |
30 | Nirmal R. Saxena, Edward J. McCluskey |
Parallel Signatur Analysis Design with Bounds on Aliasing. |
IEEE Trans. Computers |
1997 |
DBLP DOI BibTeX RDF |
aliasing probability bounds, parallel signature designs, multiple input signature registers (MISR), linear feedback shift registers, random testing, Signature analysis |
30 | J. Edward Swan II, Klaus Mueller 0001, Torsten Möller, Naeem Shareef, Roger Crawfis, Roni Yagel |
An anti-aliasing technique for splatting. |
IEEE Visualization |
1997 |
DBLP DOI BibTeX RDF |
direct volume rendering resampling, splattering, volume rendering, reconstruction, perspective projection, anti-aliasing |
30 | Kazuhiko Iwasaki, Shigeo Nakamura |
Aliasing Error for a Mask ROM Built-In Self-Test. |
IEEE Trans. Computers |
1996 |
DBLP DOI BibTeX RDF |
mask ROM, experimental faults analysis, Built-in self-test, aliasing probability, MISRs |
30 | Mody Lempel, Sandeep K. Gupta |
Zero Aliasing for Modeled Faults. |
IEEE Trans. Computers |
1995 |
DBLP DOI BibTeX RDF |
zero-aliasing, Built-in self-test, linear feedback shift registers, signature analysis, response compaction |
30 | Shou-ping Feng, Toru Fujiwara, Tadao Kasami, Kazuhiko Iwasaki |
On the Maximum Value of Aliasing Probabilities for Single Input Signature Registers. |
IEEE Trans. Computers |
1995 |
DBLP DOI BibTeX RDF |
single input signature register, signature analysis, Hamming code, Aliasing probability, BCH code, weight distribution |
30 | Mikio Shinya |
Spatial anti-aliasing for animation sequences with spatio-temporal filtering. |
SIGGRAPH |
1993 |
DBLP DOI BibTeX RDF |
computer animation, anti-aliasing, spatio-temporal filtering |
30 | Kenneth Turkowski |
Anti-Aliasing Through the Use of Coordinate Transformations. |
ACM Trans. Graph. |
1982 |
DBLP DOI BibTeX RDF |
point-line distance, point-segment distance, point-spread function (PSF), anti-aliasing, CORDIC algorithm |
30 | Robert Swann, Nick G. Kingsbury |
Error Resilient Transmission of MPEG-II Over Noisy Wireless ATM Networks. |
ICIP (2) |
1997 |
DBLP DOI BibTeX RDF |
hierarchical backward motion compensation, wavelet video coding, optimized interpolation filters, spatially scalable video coding framework, wavelet transform domain, multiresolutional framework, coarser level, aliasing effects, downsampling, weighted aliasing energy, lowpass filtering, estimation loop, adaptive quantization scheme, motion predicted residue wavelet coefficient, subjective reconstruction quality, 24 to 48 kbit/s, 0.5 to 2 dB, motion estimation, motion compensation, wavelet decomposition, video frames |
30 | T. Raju Damarla, Charles E. Stroud, Avinash Sathaye |
Multiple error detection and identification via signature analysis. |
J. Electron. Test. |
1995 |
DBLP DOI BibTeX RDF |
diagnostic aliasing, error identification, signature aliasing, error correcting codes, signature analysis |
25 | Matthew R. Lakin, Andrew M. Pitts |
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Peder E. Z. Larson, Paul T. Gurney, Dwight G. Nishimura |
Anisotropic Field-of-Views in Radial Imaging. |
IEEE Trans. Medical Imaging |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Raymond Leung, David Taubman |
Scalable video compression and spatiotemporal scalability with lifted pyramid and antialiased DWT schemes. |
ICIP |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Janusz Konrad, P. Agniel |
Subsampling models and anti-alias filters for 3-D automultiscopic displays. |
IEEE Trans. Image Process. |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Shih-Chieh Wu, Chun-Yao Wang |
PEACH: A Novel Architecture for Probabilistic Combinational Equivalence Checking. |
VLSI-SoC |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Fan Zhang 0027, Hanqiu Sun, Leilei Xu, Lee Kit Lun |
Parallel-split shadow maps for large-scale virtual environments. |
VRCIA |
2006 |
DBLP DOI BibTeX RDF |
image-based rendering, shadow mapping, large-scale virtual environments |
25 | Sukhwan Lim, John G. Apostolopoulos, Abbas El Gamal |
Optical flow estimation using temporally oversampled video. |
IEEE Trans. Image Process. |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Zhanna V. Zatuchna, Anthony J. Bagnall |
AgentP classifier system: self-adjusting vs. gradual approach. |
Congress on Evolutionary Computation |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Yi-Ran Sun, Svante Signell |
A generalized quadrature bandpass sampling in radio receivers. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Harrie Hendriks, Peter T. Kim |
Consistent and Efficient Density Estimation. |
ICCSA (1) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Luca Schiano, Fabrizio Lombardi |
On the Test and Diagnosis of the Perfect Shuffle. |
DFT |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Djordje Babic, Jussi Vesma, Tapio Saramäki, Markku Renfors |
Implementation of the transposed Farrow structure. |
ISCAS (4) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | John William Glotzbach, Ronald W. Schafer, Klaus Illgner |
A method of color filter array interpolation with alias cancellation properties. |
ICIP (1) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | David Walker 0001, J. Gregory Morrisett |
Alias Types for Recursive Data Structures. |
Types in Compilation |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Xiao-Tao Chen, Fred J. Meyer, Fabrizio Lombardi |
Structural diagnosis of interconnects by coloring. |
ACM Trans. Design Autom. Electr. Syst. |
1998 |
DBLP DOI BibTeX RDF |
interconnect, diagnosis, graph coloring, syndrome, balanced code |
25 | Mohammed Fadle Abdulla, C. P. Ravikumar, Anshul Kumar |
Efficient Implementation of Multiple On-Chip Signature Checking. |
VLSI Design |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Yasunori Sameshima, Yoshihiro Kitamura, Tomoo Fukazawa |
Multiple signature analysis method using fault simulation. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Ting-Ting Y. Lin, Huoy-Yu Liou |
A New Framework for Designing: Built-in Test Multichip Modules with Pipelined Test Strategy. |
IEEE Des. Test Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Don P. Mitchell, Arun N. Netravali |
Reconstruction filters in computer-graphics. |
SIGGRAPH |
1988 |
DBLP DOI BibTeX RDF |
cubic filters, derivative reconstruction, sampling, filters, reconstruction, antialiasing |
25 | Don P. Mitchell |
Generating antialiased images at low sampling densities. |
SIGGRAPH |
1987 |
DBLP DOI BibTeX RDF |
|
25 | Eugene W. Myers |
A Precise Interprocedural Data Flow Algorithm. |
POPL |
1981 |
DBLP DOI BibTeX RDF |
|
23 | Jacek Dmochowski, Jacob Benesty, Sofiène Affes |
On Spatial Aliasing in Microphone Arrays. |
IEEE Trans. Signal Process. |
2009 |
DBLP DOI BibTeX RDF |
|
23 | John M. O'Toole, Mostefa Mesbah, Boualem Boashash |
A New Discrete Analytic Signal for Reducing Aliasing in the Discrete Wigner-Ville Distribution. |
IEEE Trans. Signal Process. |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay |
Effective typestate verification in the presence of aliasing. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
program verification, Alias analysis, typestate |
23 | Mayur Naik, Alex Aiken |
Conditional must not aliasing for static race detection. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
static race detection, Java, concurrency, synchronization, multi-threading |
23 | Matthias Keller, Alexander Buhmann, Maurits Ortmanns, Yiannos Manoli |
On the Implicit Anti-Aliasing Feature of Continuous-Time Multistage Noise-Shaping Sigma-Delta Modulators. |
ISCAS |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Yi Ma, Hongliang Gao, Huiyang Zhou |
Using Indexing Functions to Reduce Conflict Aliasing in Branch Prediction Tables. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
Processor architectures |
23 | Ren Huang, Soo-Ik Chae |
Implementation of an OpenVG Rasterizer with Configurable Anti-Aliasing and Multi-Window Scissoring. |
CIT |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay |
Effective typestate verification in the presence of aliasing. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
program verification, alias analysis, typestate |
23 | Wen Chen 0004, Bin Han 0003, Rong-Qing Jia |
Estimate of aliasing error for non-smooth signals prefiltered by quasi-projections into shift-invariant spaces. |
IEEE Trans. Signal Process. |
2005 |
DBLP DOI BibTeX RDF |
|
23 | G. Charith K. Abhayaratne |
Reducing aliasing in wavelets based downsampling for improved resolution scalability. |
ICIP (2) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Claude Marché, Christine Paulin-Mohring |
Reasoning About Java Programs with Aliasing and Frame Conditions. |
TPHOLs |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Roman Dovgard |
Holographic image representation with reduced aliasing and noise effects. |
IEEE Trans. Image Process. |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Marius Bozga, Radu Iosif, Yassine Lakhnech |
On Logics of Aliasing. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Bhargab B. Bhattacharya, Alexej Dmitriev, Michael Gössel |
Zero-Aliasing Space Compaction of Test Responses Using a Single Periodic Output. |
IEEE Trans. Computers |
2003 |
DBLP DOI BibTeX RDF |
Space compaction, testing, stuck-at faults, system-on-a-chip |
23 | P. Sirinamaratana, N. Wongkomet |
A 0.7µm CMOS anti-aliasing filter for non-oversampled video signal applications. |
ISCAS (1) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Ramesh C. Tekumalla |
On Reducing Aliasing Effects and Improving Diagnosis of Logic BIST Failures. |
ITC |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Z. Altucher |
A schema for interprocedural modification side-effect analysis with pointer aliasing. |
ACM Trans. Program. Lang. Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Bhargab B. Bhattacharya, Alexej Dmitriev, Michael Gössel |
Zero-Aliasing Space Compression using a Single Periodic Output and its Application to Testing of Embedded Cores. |
VLSI Design |
2000 |
DBLP DOI BibTeX RDF |
|
23 | James Noble 0001, Jan Vitek, Doug Lea, Paulo Sérgio Almeida |
Aliasing in Object Oriented Systems. |
ECOOP Workshops |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Y. Tsiatouhas, Th. Haniotakis |
A Zero Aliasing Built-In Self Test Technique for Delay Fault Testing. |
DFT |
1999 |
DBLP DOI BibTeX RDF |
Built-In Self Test, Delay Fault Testing |
23 | Sean Zhang, Barbara G. Ryder, William Landi |
Experiments with Combined Analysis for Pointer Aliasing. |
PASTE |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Paolo Volpe |
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
Verification of logic programs, languages of specification, first-order logic |
23 | Qiang Liu, Zhaoqing Zhang, Xiaomei Ji |
Eliminating two kinds of data flow inaccuracy in the presence of pointer aliasing. |
APDC |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Elena Marchiori |
A Logic for Variable Aliasing in Logic Programs. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 1521 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|