Search results for "pointer"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Lars Bækgaard, Leo Mark	Incremental Computation of Nested Relational Query Expressions.	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	nested query expressions, unnesting, view pointer caches, incremental computation, set differences
21	Koenraad Audenaert, Luk Levrouw	Space efficient data race detection for parallel programs with series-parallel task graphs.	PDP	1995	DBLP DOI BibTeX RDF	space efficient data race detection, series-parallel task graphs, access anomaly, program debugger, on-the-fly methods, pointer variables, series-parallel task graph, spawning types, parallel programming, parallel programs, parallelism, synchronisation, program debugging, shared resource, storage requirements, fork-join
21	Hemant D. Pande, William Landi, Barbara G. Ryder	Interprocedural Def-Use Associations for C Systems with Single Level Pointers.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	interprocedural def-use associations, C software systems, single level pointers, value-setting statements, value-fetches, program-point-specific pointer-induced aliases, interprocedural reaching definitions problem, software engineering, computational complexity, data structures, static analysis, NP-hardness, program compilers, polynomial-time algorithm, program diagnostics, C language, indirection
21	Jong-Deok Choi, Ron Cytron, Jeanne Ferrante	On the Efficient Engineering of Ambitious Program Analysis.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	efficient engineering, compile-time methods, pointer references, array accesses, optimization phase, information benefit, analysis information volume, data-flow chains, reaching definitions, demand-driven computation, software engineering, compilers, optimisation, program analysis, programming environments, program compilers, data-flow analysis, program diagnostics, compact representation, static single assignment, procedure calls
21	Pierre E. Sorel, Mariano G. Fernandez, Sumit Ghosh	A Dynamic Debugger for Asynchronous Distributed Algorithms.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	dynamic debugger, asynchronous distributed algorithms, LPdbx, distributed runtime debugger, loosely coupled parallel processors, iconic interface, program suspension, pointer references, banking applications, transportation applications, shareware, data structures, data structures, distributed algorithms, graphical user interfaces, program debugging, transportation, breakpoints, bank data processing, global variables
21	Wei-lun Kao, Ravishankar K. Iyer, Dong Tang	FINE: A Fault Injection and Monitoring Environment for Tracing the UNIX System Behavior under Faults.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	FINE, fault injection and monitoring environment, UNIX system behavior, hardware-induced software errors, fault injector, analysis utilities, SunOS 4.1.2, transient Markov reward analysis, bus faults, CPU faults, pointer faults, software tools, Unix, program testing, system monitoring, software faults, software monitor, workload generator
21	J. Eliot B. Moss	Working with Persistent Objects: To Swizzle or Not to Swizzle.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	pointer swizzling, database objects, object identifiers, direct memory pointers, database programming language implementations, memory resident data, Mneme persistent object store, software engineering, data structures, data structures, object-oriented databases, object-oriented databases, manipulation, persistent objects, quantitative data, persistent object stores
21	Jean-Loup Baer, Yi-Bing Lin	Improving Quicksort Performance with a Codewort Data Structure.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	codeword data structure, long, alphanumeric sequences, bytes, codeword generator, character count, first nonequal byte, quicksort algorithm, architecture-dependent parameters, in-line expansion, data structures, caches, sorting, compiler optimizations, register allocation, performance improvement, ordering, pointer, records, keys, swaps, write policies
21	James J. Little, Guy E. Blelloch, Todd A. Cass	Algorithmic Techniques for Computer Vision on a Fine-Grained Parallel Machine.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	grid permutation, pointer jumping, fine-grained parallel machine, primitive operations, vector machine model, Gaussian convolution, computer vision, computer vision, parallel algorithm, parallel algorithms, parallel architectures, parallel architectures, edge detection, computerised picture processing, parallel machines, stereo, image structures
21	Javier Sánchez	Recognizing shapes and gestures using sound as feedback.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	auditory (non-speech) feedback, non-visual visualization, gestures, sonification, auditory display, parametric curves, proprioception
21	Kazunari Tomizawa, Akiko Yoshida, Kohzoh Nakamura, Yasuhiro Yoshida	QuintPixel: multi-primary color display systems.	SIGGRAPH Emerging Technologies	2010	DBLP DOI BibTeX RDF
21	Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric	A low-level memory model and an accompanying reachability predicate.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
21	Harvey Tuch	Formal Verification of C Systems Code.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	C, Separation logic, Interactive theorem proving
21	Rupesh Nasre, Kaushik Rajan, Ramaswamy Govindarajan, Uday P. Khedker	Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters.	APLAS	2009	DBLP DOI BibTeX RDF
21	Hongseok Yang	Automatic Verification of Heap-Manipulating Programs Using Separation Logic.	CSR	2009	DBLP DOI BibTeX RDF
21	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	SoftBound: highly compatible and complete spatial memory safety for c.	PLDI	2009	DBLP DOI BibTeX RDF	spatial memory safety, c, buffer overflows
21	Giovanni Manzini	Succinct Representations of Trees.	IWOCA	2009	DBLP DOI BibTeX RDF
21	Heiko Drewes, Albrecht Schmidt 0001	The MAGIC Touch: Combining MAGIC-Pointing with a Touch-Sensitive Mouse.	INTERACT (2)	2009	DBLP DOI BibTeX RDF	eye-gaze pointing, touch-sensitive mouse, MAGIC pointing, Eye-tracking
21	Fabian Angarita, Ma José Canet, T. Sansaloni, Javier Valls, Vicenc Almenar-Terre	Architectures for the Implementation of a OFDM-WLAN Viterbi Decoder.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	wireless LAN, OFDM, viterbi
21	Peyman Afshani	On Dominance Reporting in 3D.	ESA	2008	DBLP DOI BibTeX RDF
21	Sumit Gulwani, Ashish Tiwari 0001	An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software.	CAV	2007	DBLP DOI BibTeX RDF
21	Rémi Brochenin, Stéphane Demri, Étienne Lozes	Reasoning About Sequences of Memory States.	LFCS	2007	DBLP DOI BibTeX RDF
21	Minghe Sun	A primogenitary linked quad tree data structure and its application to discrete multiple criteria optimization.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Primogenitary linked quad tree, Multiple criteria optimization, Data structures, Multiple criteria decision making, Quad tree
21	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve	SAFECode: enforcing alias analysis for weakly typed languages.	PLDI	2006	DBLP DOI BibTeX RDF	automatic pool allocation, compilers, programming languages, alias analysis, region management
21	Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar	Abstract Regular Tree Model Checking of Complex Dynamic Data Structures.	SAS	2006	DBLP DOI BibTeX RDF
21	Constantino G. Ribeiro, Marcelo Cintra	Quantifying Uncertainty in Points-To Relations.	LCPC	2006	DBLP DOI BibTeX RDF
21	Shinichi Fukushige, Hiromasa Suzuki	Interactive 3D pointing device using mirror reflections.	GRAPHITE	2006	DBLP DOI BibTeX RDF	3D input, interactive pointing device, reflections, motion tracking
21	Wajeeha Akram, Laura Tiberii, Margrit Betke	A Customizable Camera-Based Human Computer Interaction System Allowing People with Disabilities Autonomous Hands-Free Navigation of Multiple Computing Tasks.	Universal Access in Ambient Intelligence Environments	2006	DBLP DOI BibTeX RDF	video-based human-computer interfaces, Computer-vision, assistive technology, autonomous navigation, alternative input devices
21	Takahiro Shinagawa	SegmentShield: Exploiting Segmentation Hardware for Protecting against Buffer Overflow Attacks.	SRDS	2006	DBLP DOI BibTeX RDF
21	Arnaud Venet	Towards the Integration of Symbolic and Numerical Static Analysis.	VSTTE	2005	DBLP DOI BibTeX RDF
21	Ali Khamene, Frank Sauer	A Novel Phantom-Less Spatial and Temporal Ultrasound Calibration Method.	MICCAI (2)	2005	DBLP DOI BibTeX RDF
21	Lilia Georgieva, Patrick Maier 0001	Description Logics for Shape Analysis.	SEFM	2005	DBLP DOI BibTeX RDF
21	Ge Zhu, Akhilesh Tyagi	Protection against Indirect Overflow Attacks on Pointers.	IWIA	2004	DBLP DOI BibTeX RDF
21	JinHo Ahn	An Adaptive Communication Mechanism for Highly Mobile Agents.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
21	Malek Adjouadi, Anaelis Sesin, Melvin Ayala, Mercedes Cabrerizo	Remote Eye Gaze Tracking System as a Computer Interface for Persons with Severe Motor Disability.	ICCHP	2004	DBLP DOI BibTeX RDF
21	David L. Heine, Monica S. Lam	A practical flow-sensitive and context-sensitive C and C++ memory leak detector.	PLDI	2003	DBLP DOI BibTeX RDF	program analysis, type systems, memory management, error detection, memory leaks
21	Pramod Ramarao, Akhilesh Tyagi, Gyungho Lee	Run-Time Support for Detection of Memory Access Violations to Prevent Buffer Overflow Exploits.	ISC	2003	DBLP DOI BibTeX RDF
21	Hervé Brönnimann, Frédéric Cazals, Marianne Durand	Randomized Jumplists: A Jump-and-Walk Dictionary Data Structure.	STACS	2003	DBLP DOI BibTeX RDF	Dictionary data structures, Searching and sorting, Randomization, Asymptotic analysis
21	Zili Shao, Qingfeng Zhuge, Yi He 0001, Edwin Hsing-Mean Sha	Defending Embedded Systems Against Buffer Overflow via Hardware/Software.	ACSAC	2003	DBLP DOI BibTeX RDF
21	Jop F. Sibeyn	One-by-One Cleaning for Practical Parallel List Ranking.	Algorithmica	2002	DBLP DOI BibTeX RDF	Algorithms, Parallel computing, Implementation, List ranking
21	Donglin Liang, Mary Jean Harrold	Equivalence analysis and its application in improving the efficiency of program slicing.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	program slicing, data-flow analysis, Alias analysis
21	Seth Pettie, Vijaya Ramachandran	Computing shortest paths with comparisons and additions.	SODA	2002	DBLP BibTeX RDF
21	Stephen M. Blackburn, Kathryn S. McKinley	In or out?: putting write barriers in their place.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	copying collection, generational collection, Java, write barriers
21	Suleyman Sair, Timothy Sherwood, Brad Calder	Quantifying Load Stream Behavior.	HPCA	2002	DBLP DOI BibTeX RDF
21	Hans-Juergen Boehm	Bounding space usage of conservative garbage collectors.	POPL	2002	DBLP DOI BibTeX RDF
21	Andrea Fusiello, Antonello Panuccio, Vittorio Murino, Federico Fontana, Davide Rocchesso	A Multimodal Electronic Travel Aid Device.	ICMI	2002	DBLP DOI BibTeX RDF
21	Chia-Lin Yang, Alvin R. Lebeck	A Programmable Memory Hierarchy for Prefetching Linked Data Structures.	ISHPC	2002	DBLP DOI BibTeX RDF
21	Brad Johanson, Greg Hutchins, Terry Winograd, Maureen C. Stone	PointRight: experience with flexible input redirection in interactive workspaces.	UIST	2002	DBLP DOI BibTeX RDF	input redirection, ubiquitous computing, multi-display environments
21	Amir M. Ben-Amram, Zvi Galil	A Generalization of a Lower Bound Technique due to Fredman and Saks.	Algorithmica	2001	DBLP DOI BibTeX RDF	Algorithms, Parallel computing, Implementation, List ranking
21	Kihong Kim, Sang Kyun Cha, Keunjoo Kwon	Optimizing Multidimensional Index Trees for Main Memory Access.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
21	Rakesh Ghiya, Daniel M. Lavery, David C. Sehr	On the Importance of Points-to Analysis and Other Memory Disambiguation Methods for C Programs.	PLDI	2001	DBLP DOI BibTeX RDF	C
21	David S. Munro, Katrina E. Falkner, Matthew C. Lowry, Francis Vaughan	Mosaic: A Non-Intrusive Complete Garbage Collector for DSM System.	CCGRID	2001	DBLP DOI BibTeX RDF
21	David Tarditi	Compact Garbage Collection Tables.	ISMM	2000	DBLP DOI BibTeX RDF	Java
21	Martin Hirzel, Amer Diwan	On the Type Accuracy of Garbage Collection.	ISMM	2000	DBLP DOI BibTeX RDF
21	Sehyun Kim, Sung-ye Kim, Kyung-hyun Yoon	A Study on the Ray-Tracing Acceleration Technique Based on the ZF-Buffer Algorithm.	IV	2000	DBLP DOI BibTeX RDF	ZF-buffer, intersection test, ray-tracing
21	Gary M. Zoppetti, Gagan Agrawal, Lori L. Pollock, José Nelson Amaral, Xinan Tang, Guang R. Gao	Automatic compiler techniques for thread coarsening for multithreaded architectures.	ICS	2000	DBLP DOI BibTeX RDF
21	Chia-Lin Yang, Alvin R. Lebeck	Push vs. pull: data movement for linked data structures.	ICS	2000	DBLP DOI BibTeX RDF
21	Jong Hyuk Choi, Kyu Ho Park	Segment Directory Enhancing the Limited Directory Cache Coherence Schemes.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
21	Shmuel Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm	A Logic-Based Approach to Program Flow Analysis.	Acta Informatica	1998	DBLP DOI BibTeX RDF
21	Christopher Lapkowski, Laurie J. Hendren	Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers.	CC	1998	DBLP DOI BibTeX RDF
21	Alain Deutsch	Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting.	PLDI	1994	DBLP DOI BibTeX RDF
21	Yesh C. Pendarkar	The porting of XINU to the system 370 VM/CMS environment (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	XINU, IBM System/370
21	Asia Slowinska, Herbert Bos	Pointer tainting still pointless: (but we all see the point of tainting).	ACM SIGOPS Oper. Syst. Rev.	2010	DBLP DOI BibTeX RDF
21	Manuela Waldner, Christian Pirchheim, Ernst Kruijff, Dieter Schmalstieg	Automatic configuration of spatially consistent mouse pointer navigation in multi-display environments.	IUI	2010	DBLP DOI BibTeX RDF	cross-display mouse navigation, multi-display environment
21	Eric S. Missimer, Margrit Betke	Blink and wink detection for mouse pointer control.	PETRA	2010	DBLP DOI BibTeX RDF	eye image analysis, mouse replacement system, video based human computer interface, assistive technology
21	Luke Simon	Optimizing Pointer Analysis Using Bisimilarity.	SAS	2009	DBLP DOI BibTeX RDF
21	Nicholas J. A. Harvey	Matroid intersection, pointer chasing, and Young's seminormal representation of Sn.	SODA	2008	DBLP BibTeX RDF
21	Valery A. Nepomniaschy	Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
21	Jian Zhou, Laxmi N. Bhuyan, Anirban Banerjee	An effective pointer replication algorithm in P2P networks.	IPDPS	2008	DBLP DOI BibTeX RDF
21	Prakash Prabhu, Priti Shankar	Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA.	SAS	2008	DBLP DOI BibTeX RDF
21	Rick Kjeldsen	An On-Screen Keyboard for Users with Poor Pointer Control.	HCI (7)	2007	DBLP DOI BibTeX RDF
21	JongSoo Park, Sung-Boem Park, James D. Balfour, David Black-Schaffer, Christos Kozyrakis, William J. Dally	Register pointer architecture for efficient embedded processors.	DATE	2007	DBLP DOI BibTeX RDF
21	L. Ian Lumb, J. I. Lederman, James R. Freemantle, Keith D. Aldridge	Semantically Enabling the Global Geodynamics Project: Incorporating Feature-Based Annotations via XML Pointer Language (XPointer).	HPCS	2007	DBLP DOI BibTeX RDF
21	Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek	Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks.	CC	2007	DBLP DOI BibTeX RDF
21	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky	A Systematic Approach to Probabilistic Pointer Analysis.	APLAS	2007	DBLP DOI BibTeX RDF
21	Amir Kamil, Katherine A. Yelick	Hierarchical Pointer Analysis for Distributed Programs.	SAS	2007	DBLP DOI BibTeX RDF
21	Thomas Preußer, Martin Zabel, Rainer G. Spallek	Bump-pointer method caching for embedded Java processors.	JTRES	2007	DBLP DOI BibTeX RDF	method cache, Java
21	Margrit Betke, Oleg Gusyatin, Mikhail Urinson	Symbol design: a user-centered method to design pen-based interfaces and extend the functionality of pointer input devices.	Univers. Access Inf. Soc.	2006	DBLP DOI BibTeX RDF	Universal interfaces, Camera interfaces, Video-based human-computer interfaces, User interfaces, Assistive technology, Universal access, Pen-based interfaces, Dynamic neural networks
21	Susumu Nishimura	Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic.	AMAST	2006	DBLP DOI BibTeX RDF
21	Buntarou Shizuki, Takaomi Hisamatsu, Shin Takahashi, Jiro Tanaka	Laser pointer interaction techniques using peripheral areas of screens.	AVI	2006	DBLP DOI BibTeX RDF	computer-based presentation, goal crossing, interaction techniques, pointing, laser pointers
21	Yongsu Park, Yong Ho Song, Eul-Gyu Im	Design of a Reliable Hardware Stack to Defend Against Frame Pointer Overwrite Attacks.	ISI	2006	DBLP DOI BibTeX RDF	computer architecture, computer security, buffer overflow attack
21	Oukseh Lee, Hongseok Yang, Kwangkeun Yi	Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis.	ESOP	2005	DBLP DOI BibTeX RDF
21	Dino Distefano, Joost-Pieter Katoen, Arend Rensink	Safety and Liveness in Concurrent Pointer Programs.	FMCO	2005	DBLP DOI BibTeX RDF
21	Marco Antonio Ramírez, Adrián Cristal, Mateo Valero, Alexander V. Veidenbaum, Luis Villa	A New Pointer-based Instruction Queue Design and Its Power-Performance Evaluation.	ICCD	2005	DBLP DOI BibTeX RDF	Instruction Wakeup, Low Power, CAM, Issue Queue, Out-of-Order Processors
21	David J. Pearce 0001, Paul H. J. Kelly, Chris Hankin	Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis.	Softw. Qual. J.	2004	DBLP DOI BibTeX RDF
21	Nathan Tuck, Brad Calder, George Varghese	Hardware and Binary Modification Support for Code Pointer Protection From Buffer Overflow.	MICRO	2004	DBLP DOI BibTeX RDF
21	Shinji Sugawara, Tetsuya Miki	A Remote Lecture System with Laser Pointer for the Internet and Broadband Networks.	SAINT Workshops	2004	DBLP DOI BibTeX RDF
21	John Williamson 0001, Roderick Murray-Smith	Pointing without a pointer.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	selection, probabilistic
21	Arnaud Venet	A Scalable Nonuniform Pointer Analysis for Embedded Programs.	SAS	2004	DBLP DOI BibTeX RDF
21	Angeles G. Navarro, Francisco Corbera, Rafael Asenjo, Adrian Tineo, Oscar G. Plata, Emilio L. Zapata	A New Dependence Test Based on Shape Analysis for Pointer-Based Codes.	LCPC	2004	DBLP DOI BibTeX RDF
21	Ihn-Han Bae, Sun-Jin Oh	A Pointer Forwarding Scheme for Fault-Tolerant Location Management in Mobile Networks.	ICCSA (1)	2004	DBLP DOI BibTeX RDF	PCS systems, fault-tolerant location management, mobility management
21	Jian Zhang 0001	Symbolic Execution of Program Paths Involving Pointer and Structure Variables.	QSIC	2004	DBLP DOI BibTeX RDF
21	Oleg Gusyatin, Mikhail Urinson, Margrit Betke	A Method to Extend Functionality of Pointer Input Devices.	User Interfaces for All	2004	DBLP DOI BibTeX RDF
21	Pedro C. Diniz, Joonseok Park	Using FPGAs for data and reorganization engines: preliminary results for spatial pointer-based data structures.	FPGA	2003	DBLP DOI BibTeX RDF
21	Adam Bakewell, Detlef Plump, Colin Runciman	Specifying Pointer Structures by Graph Reduction.	AGTIVE	2003	DBLP DOI BibTeX RDF
21	Jean-Raymond Abrial	Event Based Sequential Program Development: Application to Constructing a Pointer Program.	FME	2003	DBLP DOI BibTeX RDF
21	Jiyoung Park, Juneho Yi	Efficient Fingertip Tracking and Mouse Pointer Control for a Human Mouse.	ICVS	2003	DBLP DOI BibTeX RDF
21	Farhad Mehta, Tobias Nipkow	Proving Pointer Programs in Higher-Order Logic.	CADE	2003	DBLP DOI BibTeX RDF
21	Victor De La Luz, Mahmut T. Kandemir, Guangyu Chen, Ibrahim Kolcu	Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications.	EMSOFT	2003	DBLP DOI BibTeX RDF
21	Samuel Z. Guyer, Calvin Lin	Client-Driven Pointer Analysis.	SAS	2003	DBLP DOI BibTeX RDF