Search results for "pointer"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Robert Brijder, Hendrik Jan Hoogeboom, Grzegorz Rozenberg	From Micro to Macro: How the Overlap Graph Determines the Reduction Graph in Ciliates.	FCT	2007	DBLP DOI BibTeX RDF
14	Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide	Abstracting Pointers for a Verifying Compiler.	SEW	2007	DBLP DOI BibTeX RDF
14	Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric	A Reachability Predicate for Analyzing Low-Level Software.	TACAS	2007	DBLP DOI BibTeX RDF
14	Sung-Joon Jang, Moo-Kyoung Chung, Jaemoon Kim, Chong-Min Kyung	Cache Miss-Aware Dynamic Stack Allocation.	ISCAS	2007	DBLP DOI BibTeX RDF
14	Géry Casiez, Daniel Vogel 0001, Qing Pan, Christophe Chaillou	RubberEdge: reducing clutching by combining position and rate control with elastic feedback.	UIST	2007	DBLP DOI BibTeX RDF	clutching, mobile, hybrid, pointing, elastic
14	James A. Clause, Ioannis Doudalis, Alessandro Orso, Milos Prvulovic	Effective memory protection using dynamic tainting.	ASE	2007	DBLP DOI BibTeX RDF	illegal memory accesses, hardware support, dynamic tainting
14	Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin	Automated Verification of Shape and Size Properties Via Separation Logic.	VMCAI	2007	DBLP DOI BibTeX RDF
14	Onur Mutlu, Hyesoon Kim, Yale N. Patt	Address-Value Delta (AVD) Prediction: A Hardware Technique for Efficiently Parallelizing Dependent Cache Misses.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	value prediction, memory-level parallelism, runahead execution, Single data stream architectures
14	Armin Rigo, Samuele Pedroni	PyPy's approach to virtual machine construction.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	metacircularity, retargettable code generation, virtual machine, type inference, Python
14	Takafumi Matsumaru, Takashi Kusada, Kazuya Iwase	Mobile Robot with Preliminary-Announcement Function of Forthcoming Motion using Light-ray.	IROS	2006	DBLP DOI BibTeX RDF
14	Zakarya A. Alzamil	Application of Computational Redundancy in Dangling Pointers Detection.	ICSEA	2006	DBLP DOI BibTeX RDF	redundant computation, debugging, memory leaks, dangling pointers
14	Viorel Preoteasa	Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic.	FM	2006	DBLP DOI BibTeX RDF
14	Jack Liu, Youfeng Wu	Performance Characterization of the 64-bit x86 Architecture from Compiler Optimizations' Perspective.	CC	2006	DBLP DOI BibTeX RDF
14	Teck Bok Tok, Samuel Z. Guyer, Calvin Lin	Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers.	CC	2006	DBLP DOI BibTeX RDF
14	Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani	A Logic of Reachable Patterns in Linked Data-Structures.	FoSSaCS	2006	DBLP DOI BibTeX RDF
14	Ashish Aggarwal, Pankaj Jalote	Integrating Static and Dynamic Analysis for Detecting Vulnerabilities.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
14	Igor Radusinovic, Zoran Veljovic	Performance analysis of Exhaustive Limited Service Round Robin Matching Algorithm.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
14	Gaurav Gupta 0002, Josef Pieprzyk	A Low-Cost Attack on Branch-Based Software Watermarking Schemes.	IWDW	2006	DBLP DOI BibTeX RDF	unconditional branch, watermark, software, breakpoint
14	Peter W. O'Hearn	Separation Logic and Program Analysis.	SAS	2006	DBLP DOI BibTeX RDF
14	David L. Heine, Monica S. Lam	Static detection of leaks in polymorphic containers.	ICSE	2006	DBLP DOI BibTeX RDF	program analysis, type systems, memory management, error detection, memory leaks
14	Boris Aronov, Prosenjit Bose, Erik D. Demaine, Joachim Gudmundsson, John Iacono, Stefan Langerman, Michiel H. M. Smid	Data Structures for Halfplane Proximity Queries and Incremental Voronoi Diagrams.	LATIN	2006	DBLP DOI BibTeX RDF
14	Björn Franke, Michael F. P. O'Boyle	A Complete Compiler Approach to Auto-Parallelizing C Programs for Multi-DSP Systems.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	conversion from sequential to parallel forms, modeling, evaluation, compilers, measurement, performance measures, interprocessor communications, arrays, real-time and embedded systems, restructuring, Parallel processors, simulation of multiple-processor systems, reverse engineering and reengineering, signal processing systems
14	Dengping Zhu, Hongwei Xi	Safe Programming with Pointers Through Stateful Views.	PADL	2005	DBLP DOI BibTeX RDF
14	Lin Qiao, Weitong Huang, Zhizhong Tang	A Dynamic Data Dependence Analysis Approach for Software Pipelining.	NPC	2005	DBLP DOI BibTeX RDF
14	Scott McPeak, George C. Necula	Data Structure Specifications via Local Equality Axioms.	CAV	2005	DBLP DOI BibTeX RDF
14	Huan Huo, Guoren Wang, Chuan Yang, Rui Zhou 0001	Signature-based Filtering Techniques for Structural Joins of XML Data.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
14	Veronika Ortner, Norbert Schirmer	Verification of BDD Normalization.	TPHOLs	2005	DBLP DOI BibTeX RDF
14	Onur Mutlu, Hyesoon Kim, Yale N. Patt	Address-Value Delta (AVD) Prediction: Increasing the Effectiveness of Runahead Execution by Exploiting Regular Memory Allocation Patterns.	MICRO	2005	DBLP DOI BibTeX RDF
14	Antonio Camurri, Ginevra Castellano, Matteo Ricchetti, Gualtiero Volpe	Subject Interfaces: Measuring Bodily Activation During an Emotional Experience of Music.	Gesture Workshop	2005	DBLP DOI BibTeX RDF
14	Kuo-Yu Liu, Herng-Yow Chen	Exploring media correlation and synchronization for navigated hypermedia documents.	ACM Multimedia	2005	DBLP DOI BibTeX RDF	computed synchronization process, media correlation, semantic level correlation, syntactic level correlation, media synchronization
14	Xiang Cao, Eyal Ofek, David Vronay	Evaluation of alternative presentation control techniques.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	control techniques, user study, presentation
14	Mark Ashdown, Kenji Oka, Yoichi Sato	Combining head tracking and mouse input for a GUI on multiple monitors.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	head tracking, attentive user interface, multiple monitors, gaze-contingent display
14	Chris Lattner, Vikram S. Adve	Automatic pool allocation: improving performance by controlling data structure layout in the heap.	PLDI	2005	DBLP DOI BibTeX RDF	pool allocation, cache, static analysis, data layout, recursive data structure
14	Igor Radusinovic, Zoran Veljovic	New Round-Robin Scheduling Algorithm for Combined Input-Crosspoint Buffered Switch.	ICN (1)	2005	DBLP DOI BibTeX RDF
14	Adrian Tineo, Francisco Corbera, Angeles G. Navarro, Rafael Asenjo, Emilio L. Zapata	A Novel Approach for Detecting Heap-Based Loop-Carried Dependences.	ICPP	2005	DBLP DOI BibTeX RDF
14	Miroslaw Korzeniowski, Christian Scheideler	Transparent Data Structures, or How to Make Search Trees Robust in a Distributed Environmen.	ISPAN	2005	DBLP DOI BibTeX RDF
14	Andrei Stoica, Csilla Farkas	Ontology Guided XML Security Engine.	J. Intell. Inf. Syst.	2004	DBLP DOI BibTeX RDF	ontology based inference attack, multi-level XML security, data aggregation, XML security
14	Anasua Bhowmik, Manoj Franklin	A General Compiler Framework for Speculative Multithreaded Processors.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF
14	Alessandro Orso, Saurabh Sinha, Mary Jean Harrold	Classifying data dependences in the presence of pointers for program comprehension, testing, and debugging.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	incremental slicing, debugging, program comprehension, program slicing, Data dependences, pointers, data-flow testing
14	Sigeru Sato, Muneo Kitajima, Yukio Fukui	A Concept of Grasping Information Interface for Remote Pointing Task.	ICRA	2004	DBLP DOI BibTeX RDF
14	Loukas Georgiadis, Robert Endre Tarjan	Finding dominators revisited: extended abstract.	SODA	2004	DBLP BibTeX RDF
14	Darren C. Atkinson	Accurate Call Graph Extraction of Programs with Function Pointers Using Type Signatures.	APSEC	2004	DBLP DOI BibTeX RDF
14	Michael Jung 0002, Sorin A. Huss	Fast Points-to Analysis for Languages with Structured Types.	SCOPES	2004	DBLP DOI BibTeX RDF
14	Ismail Kadayif, Partho Nath, Mahmut T. Kandemir, Anand Sivasubramaniam	Compiler-directed physical address generation for reducing dTLB power.	ISPASS	2004	DBLP DOI BibTeX RDF
14	Kathryn S. McKinley	Polar opposites: next generation languages and architectures.	Memory System Performance	2004	DBLP DOI BibTeX RDF
14	Roman Manevich, Manu Sridharan, Stephen Adams 0001, Manuvir Das, Zhe Yang 0001	PSE: explaining program failures via postmortem static analysis.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	postmortem analysis, value flow, alias analysis, typestate
14	Robert A. van Engelen, Johnnie Birch, Yixin Shou, Burt Walsh, Kyle A. Gallivan	A unified framework for nonlinear dependence testing and symbolic analysis.	ICS	2004	DBLP DOI BibTeX RDF	compiler
14	Jun Park, Woohun Lee	Augmented E-commerce: Making Augmented Reality Usable in Everyday E-commerce with Laser Projection Tracking.	MIPS	2004	DBLP DOI BibTeX RDF
14	Ramakrishnan Venkitaraman, Gopal Gupta 0001	Static program analysis of embedded executable assembly code.	CASES	2004	DBLP DOI BibTeX RDF	embedded software components, executable code, static analysis, abstract interpretation, assembly code
14	Anand Viswanathan, Emad Boctor, Russell H. Taylor, Gregory D. Hager, Gabor Fichtinger	Immediate Ultrasound Calibration with Three Poses and Minimal Image Processing.	MICCAI (2)	2004	DBLP DOI BibTeX RDF
14	Po-Jen Chuang, Shien-Da Chang, Tun-Hao Chao	An Enhanced Caching Strategy for Location Tracking in PCS Networks.	EUC	2004	DBLP DOI BibTeX RDF
14	Dino Distefano, Joost-Pieter Katoen, Arend Rensink	Who is Pointing When to Whom?	FSTTCS	2004	DBLP DOI BibTeX RDF
14	Rodric M. Rabbah, Hariharan Sandanagobalane, Mongkol Ekpanyapong, Weng-Fai Wong	Compiler orchestrated prefetching via speculation and predication.	ASPLOS	2004	DBLP DOI BibTeX RDF	prefetching, speculation, precomputation, predicated execution
14	Y. Charlie Hu, Weimin Yu, Alan L. Cox, Dan S. Wallach, Willy Zwaenepoel	Run-time support for distributed sharing in safe languages.	ACM Trans. Comput. Syst.	2003	DBLP DOI BibTeX RDF	distributed sharing, safe programming languages, Communications, memory consistency
14	Kurt Mehlhorn, Peter Sanders 0001	Scanning Multiple Sequences Via Cache Memory.	Algorithmica	2003	DBLP DOI BibTeX RDF
14	Paul Anderson, Thomas W. Reps, Tim Teitelbaum	Design and Implementation of a Fine-Grained Software Inspection Tool.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	chopping, program understanding, slicing, Software inspection, software model checking, dependence graphs
14	Yigal Bejerano, Israel Cidon	An Anchor Chain Scheme for IP Mobility Management.	Wirel. Networks	2003	DBLP DOI BibTeX RDF	mobility management, mobile-IP, location management, wireless systems, cellular systems, personal communication system
14	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner	Memory safety without runtime checks or garbage collection.	LCTES	2003	DBLP DOI BibTeX RDF	automatic pool allocation, security, embedded systems, compilers, static analysis, programming languages, region management
14	Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa	The Interface Definition Language for Fail-Safe C.	ISSS	2003	DBLP DOI BibTeX RDF
14	Jia-ju Mao, Qiu-lin Chen, Ruzhan Lu	Analyzing V+Adj in Situation Semantics.	CICLing	2003	DBLP DOI BibTeX RDF
14	Indra Geys, Luc Van Gool	Virtual Post-its: Visual Label Extraction, Attachment, and Tracking for Teleconferencing.	ICVS	2003	DBLP DOI BibTeX RDF	visual annotation, laser point detection, real-time and markerless tracking, affine invariant features, virtual and augmented reality
14	Jeffrey S. Steinman, Jennifer W. Wong	The SPEEDES Persistence Framework and the Standard Simulation Architecture.	PADS	2003	DBLP DOI BibTeX RDF
14	Seunghyun Oh, Yangsun Lee 0002	The Bitmap Trie for Fast Prefix Lookup.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF
14	Yichen Xie 0001, Andy Chou, Dawson R. Engler	ARCHER: using symbolic, path-sensitive analysis to detect memory access errors.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	memory access errors, security, static analysis, error detection, buffer overflow, buffer overrun
14	Eric Lecolinet	Multiple pointers: a study and an implementation.	IHM	2003	DBLP DOI BibTeX RDF	UDP/C notation, Ubit toolkit, bi-manual interaction, multiple pointers, multiple screen workspaces, single display groupware, synchronous groupware
14	Tatsushi Inagaki, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani	Stride prefetching by dynamically inspecting objects.	PLDI	2003	DBLP DOI BibTeX RDF	Java just-in-time compiler, object inspection, stride prefetching
14	Masamichi Takagi, Kei Hiraki	Field Array Compression in Data Caches for Dynamically Allocated Recursive Data Structure.	ISHPC	2003	DBLP DOI BibTeX RDF
14	Eve Bertucci, Maurizio Pilu, Majid Mirmehdi	Text Selection by Structured Light Marking for Hand-held Cameras.	ICDAR	2003	DBLP DOI BibTeX RDF
14	Gerth Stølting Brodal, Christos Makris, Spyros Sioutas, Athanasios K. Tsakalidis, Kostas Tsichlas	Optimal Solutions for the Temporal Precedence Problem.	Algorithmica	2002	DBLP DOI BibTeX RDF
14	Krishna V. Palem, Rodric M. Rabbah, Vincent John Mooney, Pinar Korkmaz, Kiran Puttaswamy	Design space optimization of embedded memory systems via data remapping.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	data remapping, design space exploration, power aware
14	Yefim Shuf, Manish Gupta 0002, Hubertus Franke, Andrew W. Appel, Jaswinder Pal Singh	Creating and preserving locality of java applications at allocation and garbage collection times.	OOPSLA	2002	DBLP DOI BibTeX RDF	heap traversal, locality based graph traversal, object co-allocation, prolific types, Java, locality, garbage collection, memory management, JVM, memory allocation, run-time systems, object placement
14	Chris Lattner, Vikram S. Adve	Automatic pool allocation for disjoint data structures.	MSP/ISMM	2002	DBLP DOI BibTeX RDF
14	Rahul Jain 0001, Jaikumar Radhakrishnan, Pranab Sen	Privacy and Interaction in Quantum Communication Complexity and a Theorem about the Relative Entropy of Quantum States.	FOCS	2002	DBLP DOI BibTeX RDF
14	Yefim Shuf, Manish Gupta 0002, Rajesh Bordawekar, Jaswinder Pal Singh	Exploiting prolific types for memory management and optimizations.	POPL	2002	DBLP DOI BibTeX RDF
14	George C. Necula, Scott McPeak, Westley Weimer	CCured: type-safe retrofitting of legacy code.	POPL	2002	DBLP DOI BibTeX RDF
14	Trishul M. Chilimbi, Martin Hirzel	Dynamic Hot Data Stream Prefetching for General-Purpose Programs.	PLDI	2002	DBLP DOI BibTeX RDF	data reference profiling, memory performance optimization, temporal profiling, prefetching, dynamic optimization, dynamic profiling
14	Federico Fontana, Andrea Fusiello, Michele Gobbi, Vittorio Murino, Davide Rocchesso, Luca Sartor, Antonello Panuccio	A Cross-Modal Electronic Travel Aid Device.	Mobile HCI	2002	DBLP DOI BibTeX RDF
14	D. A. F. Ei-Dib, Mohamed I. Elmasry	Low-power register-exchange Viterbi decoder for high-speed wireless communications.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
14	David Ahlström, Martin Hitz, Gerhard Leitner	Improving Mouse Navigation - A Walk through the "Hilly Screen Landscape".	DSV-IS	2002	DBLP DOI BibTeX RDF
14	Birgit Zimmermann, Melanie Gnasa, Karin Harbusch	Modeling a Corporate Information System to Improve Knowledge Management.	EDBT Workshops	2002	DBLP DOI BibTeX RDF
14	Didier Galmiche, Daniel Méry, David J. Pym	Resource Tableaux.	CSL	2002	DBLP DOI BibTeX RDF
14	Robert Cooksey, Stéphan Jourdan, Dirk Grunwald	A stateless, content-directed data prefetching mechanism.	ASPLOS	2002	DBLP DOI BibTeX RDF
14	Brendon Cahoon, Kathryn S. McKinley	Data Flow Analysis for Software Prefetching Linked Data Structures in Java.	IEEE PACT	2001	DBLP DOI BibTeX RDF
14	Jan-Willem Maessen, Vivek Sarkar, David Grove	Program analysis for safety guarantees in a Java virtual machine written in Java.	PASTE	2001	DBLP DOI BibTeX RDF	Java
14	Artour Stoutchinin, José Nelson Amaral, Guang R. Gao, James C. Dehnert, Suneel Jain, Alban Douillet	Speculative Prefetching of Induction Pointers.	CC	2001	DBLP DOI BibTeX RDF
14	Dawson R. Engler, David Yu Chen, Andy Chou	Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code.	SOSP	2001	DBLP DOI BibTeX RDF
14	Martin C. Carlisle, Anne Rogers	Supporting Dynamic Data Structures with Olden.	Compiler Optimizations for Scalable Parallel Systems Languages	2001	DBLP DOI BibTeX RDF
14	Yuan-Shin Hwang, Peng-Sheng Chen, Jenq Kuen Lee, Roy Dz-Ching Ju	Probabilistic Points-to Analysis.	LCPC	2001	DBLP DOI BibTeX RDF
14	Mikkel Thorup	Fully-dynamic min-cut.	STOC	2001	DBLP DOI BibTeX RDF
14	Honghui Lu, Alan L. Cox, Willy Zwaenepoel	Contention elimination by replication of sequential sections in distributed shared memory programs.	PPoPP	2001	DBLP DOI BibTeX RDF
14	Theo Härder, Udo Nink, Norbert Ritter	Generierte DB-Aufrufschnittstellen - Anwendungsspezifische Zugriffsoptimierung durch Bindungsflexibilität.	Inform. Forsch. Entwickl.	2000	DBLP DOI BibTeX RDF	Bindungszeitpunkte, Anwendungsprogrammierschnittstelle, Generische Methoden, Objektorientierung, Datenbanksysteme
14	Stanley Y. W. Su, Sanjay Ranka, Xiang He	Performance Analysis of Parallel Query Processing Algorithms for Object-Oriented Databases.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	parallel query processing algorithms, data partitioning strategies, database benchmark, performance analysis, Object-oriented databases
14	Thomas Kistler, Michael Franz	Automated data-member layout of help objects to improve memory-hierarchy performance.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	dynmaic data structures, memory-hierarchy optimization, dynamic optimization
14	Robert Cooksey, Dennis Colarelli, Dirk Grunwald	Content-Based Prefetching: Initial Results.	Intelligent Memory Systems	2000	DBLP DOI BibTeX RDF
14	Magnus Karlsson 0002, Fredrik Dahlgren, Per Stenström	A Prefetching Technique for Irregular Accesses to Linked Data Structures.	HPCA	2000	DBLP DOI BibTeX RDF
14	Hanne Riis Nielson, Flemming Nielson	Shape Analysis for Mobile Ambients.	POPL	2000	DBLP DOI BibTeX RDF
14	Frederick Smith, David Walker 0001, J. Gregory Morrisett	Alias Types.	ESOP	2000	DBLP DOI BibTeX RDF
14	Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, Ronald Lyndon While	Non-stop Haskell.	ICFP	2000	DBLP DOI BibTeX RDF	Haskell
14	Donglin Liang, Mary Jean Harrold	Light-weight context recovery for efficient and accurate program analyses.	ICSE	2000	DBLP DOI BibTeX RDF	program analysis, slicing, aliasing
14	Michael Bekerman, Adi Yoaz, Freddy Gabbay, Stéphan Jourdan, Maxim Kalaev, Ronny Ronen	Early load address resolution via register tracking.	ISCA	2000	DBLP DOI BibTeX RDF