Search results for "pointers"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Kumar V. Vadaparty	Persistent Pointers: I.	J. Object Oriented Program.	1995	DBLP BibTeX RDF
17	Danilo Dabbene, Silverio Damiani	Adding Persistence to Objects Using Smart Pointers.	J. Object Oriented Program.	1995	DBLP BibTeX RDF
17	Kumar V. Vadaparty	Revisiting Persistent Pointers.	J. Object Oriented Program.	1995	DBLP BibTeX RDF
17	Ravi Jain, Yi-Bing Lin	An auxiliary user location strategy employing forwarding pointers to reduce network impacts of PCS.	Wirel. Networks	1995	DBLP DOI BibTeX RDF
17	Alain Deutsch	Semantic models and abstract interpretation techniques for inductive data structures and pointers	PEPM	1995	DBLP DOI BibTeX RDF
17	Henry G. Baker	Minimum Reference Count Updating with Deferred and Anchored Pointers for Functional Data Structures.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF
17	Rosario J. D'Souza, Richard J. LeBlanc	Class Testing by Examining Pointers.	J. Object Oriented Program.	1994	DBLP BibTeX RDF
17	Amir M. Ben-Amram	Unit-Cost Pointers versus Logarithmic-Cost Addresses.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
17	Michael G. Burke, Paul R. Carini, Jong-Deok Choi, Michael Hind	Flow-Insensitive Interprocedural Alias Analysis in the Presence of Pointers.	LCPC	1994	DBLP DOI BibTeX RDF
17	Kenji Kono, Kazuhiko Kato, Takashi Masuda	Smart Remote Procedure Calls: Transparent Treatment of Remote Pointers.	ICDCS	1994	DBLP DOI BibTeX RDF
17	Valentin Goranko	Temporal Logic with Reference Pointers.	ICTL	1994	DBLP DOI BibTeX RDF
17	Joseph Hummel, Laurie J. Hendren, Alexandru Nicolau	A Framework for Data Dependence Testing in the Presence of Pointers.	ICPP (2)	1994	DBLP DOI BibTeX RDF
17	Edward W. Czeck, James M. Feldman	On Defusing a Small Landmine in the Type Casting of Pointers in the 'C' Language.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF	C
17	Alexandros Biliris, Shaul Dar, Narain H. Gehani	Making C++ Objects Persistent: the Hidden Pointers.	Softw. Pract. Exp.	1993	DBLP DOI BibTeX RDF
17	Patrick W. Dymond, Faith E. Fich, Naomi Nishimura, Prabhakar Ragde, Walter L. Ruzzo	Pointers versus Arithmetic in PRAMs.	SCT	1993	DBLP DOI BibTeX RDF
17	Markku Sakkinen	Where is the evidence against arrays and pointers?	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
17	Darrel C. Ince	Arrays and pointers considered harmful.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
17	Amir M. Ben-Amram, Zvi Galil	On Pointers versus Addresses.	J. ACM	1992	DBLP DOI BibTeX RDF	pointer structures, random access memory, incompressibility
17	John F. Meyer	Performability: A Retrospective and Some Pointers to the Future.	Perform. Evaluation	1992	DBLP DOI BibTeX RDF
17	Alister Hamilton, Alan F. Murray, Donald J. Baxter, Stephen Churcher, H. Martin Reekie, Lionel Tarassenko	Integrated pulse stream neural networks: results, issues, and pointers.	IEEE Trans. Neural Networks	1992	DBLP DOI BibTeX RDF
17	Hing-Kai Hung, Jeffery I. Zucker	Semantics of Pointers, Referencing and Dereferencing with Intensional Logic	LICS	1991	DBLP DOI BibTeX RDF
17	Thomas J. Ostrand, Elaine J. Weyuker	Data Flow-Based Test Adequacy Analysis for Languages with Pointers.	Symposium on Testing, Analysis, and Verification	1991	DBLP DOI BibTeX RDF	C
17	Hiralal Agrawal, Richard A. DeMillo, Eugene H. Spafford	Dynamic Slicing in the Presence of Unconstrained Pointers.	Symposium on Testing, Analysis, and Verification	1991	DBLP DOI BibTeX RDF	DEBUG
17	Lee-Chung Lu, Marina C. Chen	Parallelizing Loops with Indirect Array References of Pointers.	LCPC	1991	DBLP DOI BibTeX RDF
17	R. Meyers	The Interaction of Pointers to Memhers and Virtual Base Classes in C++.	C++ Conference	1991	DBLP BibTeX RDF
17	Richard Simoni, Mark Horowitz	Modeling the Performance of Limited Pointers Directories for Cache Coherence.	ISCA	1991	DBLP DOI BibTeX RDF
17	David R. Chase, Mark N. Wegman, F. Kenneth Zadeck	Analysis of Pointers and Structures.	PLDI	1990	DBLP DOI BibTeX RDF
17	David R. Chase, Mark N. Wegman, F. Kenneth Zadeck	Analysis of pointers and structures (with retrospective)	Best of PLDI	1990	DBLP DOI BibTeX RDF
17	Matti O. Jokinen	Automatically Replacing Indices Into Parallel Arrays with Pointers to Records.	BIT	1989	DBLP DOI BibTeX RDF
17	A. Bijlsma 0001	Calculating with Pointers.	Sci. Comput. Program.	1989	DBLP DOI BibTeX RDF
17	Stanley B. Lippman, Bjarne Stroustrup	Pointers to Class Members in C++.	C++ Conference	1988	DBLP BibTeX RDF
17	Henry G. Dietz, Chi-Hung Chi	CRegs: a new kind of memory for referencing arrays and pointers.	SC	1988	DBLP DOI BibTeX RDF
17	A. S. M. Sajeev, J. Olszewski	Manipulation of Data Structures Without Pointers.	Inf. Process. Lett.	1987	DBLP DOI BibTeX RDF
17	James H. Hester, Daniel S. Hirschberg	Self-Organizing Search Lists Using Probabilistic Back-Pointers.	Commun. ACM	1987	DBLP DOI BibTeX RDF
17	Harlan D. Mills, Richard C. Linger	Data Structured Programming: Program Design without Arrays and Pointers.	IEEE Trans. Software Eng.	1986	DBLP DOI BibTeX RDF
17	David B. Lomet	Making Pointers Safe in System Programming Languages.	IEEE Trans. Software Eng.	1985	DBLP DOI BibTeX RDF
17	Gurindar S. Sohi	Blast: A Machine Architecture for High-Speed List Processing Using Associative Tables (Traversal, Pointers)		1985	RDF
17	Michael C. Loui	Minimizing Access Pointers into Trees and Arrays.	J. Comput. Syst. Sci.	1984	DBLP DOI BibTeX RDF
17	Robert K. Smart	Pointers to local variables.	ACM SIGPLAN Notices	1980	DBLP DOI BibTeX RDF
17	Bruce Anderson	Encoded pointers - An Interesting DataSstructure for Modern Sil's.	Inf. Process. Lett.	1980	DBLP DOI BibTeX RDF
17	P. Radford	Checking Cyclic Pointers.	Softw. Pract. Exp.	1980	DBLP DOI BibTeX RDF
17	William E. Weihl	Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables.	POPL	1980	DBLP DOI BibTeX RDF
17	Richard L. Schwartz	Aliasing Among Pointers in EUCLID.	Inf. Process. Lett.	1979	DBLP DOI BibTeX RDF
17	Daniel M. Berry	Pointers and Data Abstractions in High Level Languages - II: Correctness Proofs.	Comput. Lang.	1977	DBLP DOI BibTeX RDF
17	Daniel M. Berry, Z. Erlich, Carlos José Pereira de Lucena	Pointers and Data Abstractions in High Level Languages - I: Language Proposals.	Comput. Lang.	1977	DBLP DOI BibTeX RDF
17	Daniel M. Berry, Z. Erlich, Carlos José Pereira de Lucena	Correctness of Data Representations: Pointers in High Level Languages.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
17	Sergio E. R. de Carvalho, Miguel Angelo A. Nóvoa	On the use of pointers and the teaching of disciplined programming.	SIGCSE	1976	DBLP DOI BibTeX RDF
17	C. P. Earnest	A note on pointers.	Design and Implementation of Programming Languages	1976	DBLP DOI BibTeX RDF
15	Tomoharu Ugawa, Hideya Iwasaki, Taiichi Yuasa	Improved replication-based incremental garbage collection for embedded systems.	ISMM	2010	DBLP DOI BibTeX RDF	embedded systems, garbage collection, fragmentation, compaction, real-time garbage collection
15	Jennifer B. Sartor, Stephen M. Blackburn, Daniel Frampton, Martin Hirzel, Kathryn S. McKinley	Z-rays: divide arrays and conquer speed and flexibility.	PLDI	2010	DBLP DOI BibTeX RDF	arraylets, z-rays, compression, arrays, heap
15	Harvey Tuch	Formal Verification of C Systems Code.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	C, Separation logic, Interactive theorem proving
15	Per Larsen, Sven Karlsson, Jan Madsen	Identifying Inter-task Communication in Shared Memory Programming Models.	IWOMP	2009	DBLP DOI BibTeX RDF
15	Gérard Boudol	A Deadlock-Free Semantics for Shared Memory Concurrency.	ICTAC	2009	DBLP DOI BibTeX RDF
15	Martin Hofmann 0001, Ulrich Schöpp	Pointer Programs and Undirected Reachability.	LICS	2009	DBLP DOI BibTeX RDF
15	Evangelos Bampas, Leszek Gasieniec, Nicolas Hanusse, David Ilcinkas, Ralf Klasing, Adrian Kosowski	Euler Tour Lock-In Problem in the Rotor-Router Model.	DISC	2009	DBLP DOI BibTeX RDF
15	Chaitanya Yalamanchili, Kiron Vijayasankar, Erez Zadok, Gopalan Sivathanu	DHIS: discriminating hierarchical storage.	SYSTOR	2009	DBLP DOI BibTeX RDF	intelligent disks, storage stack, file systems, storage systems
15	Evangelos Bampas, Leszek Gasieniec, Ralf Klasing, Adrian Kosowski, Tomasz Radzik	Robustness of the Rotor-router Mechanism.	OPODIS	2009	DBLP DOI BibTeX RDF	Rotor-router mechanism, Propp machine, Network faults, Graph exploration, Dynamic graphs
15	Edya Ladan-Mozes, Nir Shavit	An optimistic approach to lock-free FIFO queues.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Synchronization, Lock-free, CAS, Compare and swap, Non-blocking, Concurrent data structures, FIFO queue
15	Shlomi Dolev, Ronen I. Kat	HyperTree for self-stabilizing peer-to-peer systems.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Peer-to-peer, Overlay networks, Self-stabilization
15	Heeyeol Yu, Rabi N. Mahapatra	A space- and time-efficient hash table hierarchically indexed by Bloom filters.	IPDPS	2008	DBLP DOI BibTeX RDF
15	Heeyeol Yu, Rabi N. Mahapatra	A Memory-Efficient Hashing by Multi-Predicate Bloom Filters for Packet Classification.	INFOCOM	2008	DBLP DOI BibTeX RDF
15	Martin Hofmann 0001, Ulrich Schöpp	Pure Pointer Programs with Iteration.	CSL	2008	DBLP DOI BibTeX RDF
15	Joe Devietti, Colin Blundell, Milo M. K. Martin, Steve Zdancewic	Hardbound: architectural support for spatial safety of the C programming language.	ASPLOS	2008	DBLP DOI BibTeX RDF	spatial memory safety, C programming language
15	Tomohiro Yoshihara, Dai Kobayashi, Haruo Yokota	A concurrency control protocol for parallel B-tree structures without latch-coupling for explosively growing digital content.	EDBT	2008	DBLP DOI BibTeX RDF
15	Benjamin M. Brosgol	A Comparison of the Object-Oriented Features of Ada 2005 and JavaTM.	Ada-Europe	2008	DBLP DOI BibTeX RDF
15	Lian Li 0002, Hui Wu 0001, Hui Feng, Jingling Xue	Towards Data Tiling for Whole Programs in Scratchpad Memory Allocation.	Asia-Pacific Computer Systems Architecture Conference	2007	DBLP DOI BibTeX RDF
15	Amir Kamil, Katherine A. Yelick	Hierarchical Pointer Analysis for Distributed Programs.	SAS	2007	DBLP DOI BibTeX RDF
15	Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa	Queue Register File Optimization Algorithm for QueueCore Processor.	SBAC-PAD	2007	DBLP DOI BibTeX RDF
15	David Aspinall 0001, Piotr Hoffman	Datatypes in Memory.	CALCO	2007	DBLP DOI BibTeX RDF
15	Jin Sun, Paul J. Weber, Byung Kyu Choi, Roger M. Kieckhafer	DIMPLE: DynamIc Membership ProtocoL for epidemic protocols.	BROADNETS	2007	DBLP DOI BibTeX RDF
15	Girish Venkataramani, Tobias Bjerregaard, Tiberiu Chelcea, Seth Copen Goldstein	Hardware compilation of application-specific memory-access interconnect.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
15	Ranjan Sinha, Justin Zobel, David Ring	Cache-efficient string sorting using copying.	ACM J. Exp. Algorithmics	2006	DBLP DOI BibTeX RDF	algorthims, string management, cache, Sorting, tries, experimental algorithms
15	Amir M. Ben-Amram, Holger Petersen 0001	Backing up in singly linked lists.	J. ACM	2006	DBLP DOI BibTeX RDF	two way automata, string matching, Incompressibility
15	M. Teresa Higuera-Toledano	Hardware support for detecting illegal references in a multiapplication real-time Java environment.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	garbage collection, memory management, Write barriers
15	Nicolas Marti, Reynald Affeldt, Akinori Yonezawa	Formal Verification of the Heap Manager of an Operating System Using Separation Logic.	ICFEM	2006	DBLP DOI BibTeX RDF
15	Harrison Caudill, Ada Gavrilovska	Tuning file system block addressing for performance.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	optimization, file systems, fragmentation
15	Lucian Ilie, Roberto Solis-Oba	Gene Assembly Algorithms for Ciliates.	DNA	2006	DBLP DOI BibTeX RDF	stichotrichs, gene assembly, dlad-first greedy strategy, algorithm, ciliates
15	SeokJin Im, MoonBae Song, Chong-Sun Hwang	An error-resilient cell-based distributed index for location-based wireless broadcast services.	MobiDE	2006	DBLP DOI BibTeX RDF	location-based services, wireless broadcast, air index
15	Byron Cook, Andreas Podelski, Andrey Rybalchenko	Termination proofs for systems code.	PLDI	2006	DBLP DOI BibTeX RDF	model checking, formal verification, program verification, program termination
15	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
15	Xinyu Feng 0001, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni	Modular verification of assembly code with stack-based control abstractions.	PLDI	2006	DBLP DOI BibTeX RDF	assembly code verification, control abstractions, stack-based, modularity, proof-carrying code
15	Yongsu Park, Younho Lee, Heeyoul Kim, Gil-Joo Lee, Il-Hee Kim	Hardware Stack Design: Towards an Effective Defence Against Frame Pointer Overwrite Attacks.	IWSEC	2006	DBLP DOI BibTeX RDF	computer architecture, computer security, buffer overflow attack
15	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
15	Bernhard Reus, Jan Schwinghammer	Separation Logic for Higher-Order Store.	CSL	2006	DBLP DOI BibTeX RDF
15	Lakshmi N. Bairavasundaram, Meenali Rungta, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau	Limiting trust in the storage stack.	StorageSS	2006	DBLP DOI BibTeX RDF	pointer corruption, type-aware corruption, verifiable invariants
15	Silvio Ranise, Calogero G. Zarba	A Theory of Singly-Linked Lists and its Extensible Decision Procedure.	SEFM	2006	DBLP DOI BibTeX RDF
15	Bernhard Beckert, Kerry Trentelman	Second-Order Principles in Specification Languages for Object-Oriented Programs.	LPAR	2005	DBLP DOI BibTeX RDF
15	Byron Cook, Daniel Kroening, Natasha Sharygina	Cogent: Accurate Theorem Proving for Program Verification.	CAV	2005	DBLP DOI BibTeX RDF
15	John Tang Boyland, William Retert	Connecting effects and uniqueness with adoption.	POPL	2005	DBLP DOI BibTeX RDF	adoption, ownership, uniqueness, permissions
15	Jeremy Condit, George C. Necula	Data Slicing: Separating the Heap into Independent Regions.	CC	2005	DBLP DOI BibTeX RDF
15	Ivana Mijajlovic, Hongseok Yang	Data Refinement with Low-Level Pointer Operations.	APLAS	2005	DBLP DOI BibTeX RDF
15	Minoru Uehara	Web CC: A WBT System of Programming for Beginners.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
15	Aleksandrs Slivkins	Distance estimation and object location via rings of neighbors.	PODC	2005	DBLP DOI BibTeX RDF
15	Mahadev Konar, Alexander E. Mohr	Brief announcement: ring-like DHTs and the postage stamp problem.	PODC	2005	DBLP DOI BibTeX RDF
15	Kentaro Fukuchi	A Laser Pointer/Laser Trails Tracking System for Visual Performance.	INTERACT	2005	DBLP DOI BibTeX RDF
15	Jinfeng Hu, Ming Li, Hongliang Yu, Haitao Dong, Weimin Zheng	PeerWindow: An Efficient, Heterogeneous, and Autonomic Node Collection Protocol.	ICPP	2005	DBLP DOI BibTeX RDF
15	Peter L. Thomas, David F. Brailsford	Enhancing composite digital documents using XML-based standoff markup.	ACM Symposium on Document Engineering	2005	DBLP DOI BibTeX RDF	XBL, composite documents, standoff markup, XML, PDF, MathML, MusicXML
15	Ediz Saykol, Ali Kemal Sinop, Ugur Güdükbay, Özgür Ulusoy, A. Enis Çetin	Content-based retrieval of historical Ottoman documents stored as textual images.	IEEE Trans. Image Process.	2004	DBLP DOI BibTeX RDF
15	Shlomi Dolev, Ronen I. Kat	HyperTree for Self-Stabilizing Peer-to-Peer Systems.	NCA	2004	DBLP DOI BibTeX RDF
15	Birgit Schieder	Pointer Theory and Weakest Preconditions without Addresses and Heap.	MPC	2004	DBLP DOI BibTeX RDF