The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Pointers with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1966-1978 (18) 1979-1982 (18) 1983-1987 (15) 1988-1989 (18) 1990-1991 (22) 1992 (17) 1993 (18) 1994 (20) 1995 (23) 1996 (27) 1997 (29) 1998 (27) 1999 (52) 2000 (57) 2001 (57) 2002 (76) 2003 (85) 2004 (100) 2005 (101) 2006 (108) 2007 (108) 2008 (107) 2009 (68) 2010 (22) 2011-2012 (15) 2013 (15) 2014-2015 (19) 2016-2017 (25) 2018-2019 (19) 2020 (15) 2021 (18) 2022-2023 (28) 2024 (4)
Publication types (Num. hits)
article(382) incollection(5) inproceedings(959) phdthesis(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1316 occurrences of 845 keywords

Results
Found 1351 publication records. Showing 1351 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
94Kouhei Yamamoto, Shigekazu Inohara, Hajime Miyazawa, Keitaro Uehara, Masahiro Hara, Takashi Masuda Distributed Persistent Object System with Uniform Representation of Pointers and Its Garbage Collection. Search on Bibsonomy HICSS (1) The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
85Igor B. Smirnov Raw pointers in application classes of C++ considered harmful. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2007 DBLP  DOI  BibTeX  RDF dynamic storage, raw pointers, smart pointers, C++, C++, methodology
82Zakarya A. Alzamil Application of Computational Redundancy in Dangling Pointers Detection. Search on Bibsonomy ICSEA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF redundant computation, debugging, memory leaks, dangling pointers
71Giuliano Antoniol, F. Calzolari, Paolo Tonella Impact of Function Pointers on the Call Graph. Search on Bibsonomy CSMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
66Ana L. Milanova, Atanas Rountev, Barbara G. Ryder Precise Call Graphs for C Programs with Function Pointers. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF function pointers, pointer analysis, call graph
66Brad A. Myers, Rishi Bhatnagar, Jeffrey Nichols 0001, Choon Hong Peck, Dave Kong, Robert C. Miller, A. Chris Long Interacting at a distance: measuring the performance of laser pointers and other devices. Search on Bibsonomy CHI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF user studies, interaction techniques, input devices, handhelds, pebbles, laser pointers, remote interaction, palm pilots
63Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide Abstracting Pointers for a Verifying Compiler. Search on Bibsonomy SEW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
60Richard A. Eyre-Todd The Detection of Dangling References in C++ Programs. Search on Bibsonomy LOPLAS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF smart pointers, dangling pointers
59Gerald C. Gannod, Betty H. C. Cheng A Formal Automated Approach for Reverse Engineering Programs with Pointers. Search on Bibsonomy ASE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF reverse engineering programs, formal automated approach, formal specification, formal specifications, reverse engineering, programming language, formal semantics, pointers
56Tong Chen 0010, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew On the Impact of Naming Methods for Heap-Oriented Pointers in C Programs. Search on Bibsonomy ISPAN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF points-to set, heap-oriented pointer, flow-sensitivity and context sensitivity, profiling, instrumentation
56Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth Checkmate: cornering C++ dynamic memory errors with checked pointers. Search on Bibsonomy SIGCSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF C++
54Pradeep Varma, R. K. Shyamasundar, Harshit J. Shah Backward-compatible constant-time exception-protected memory. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF scalar fat pointer, spatial access error, temporal access error, memory safety, object version, backward compatibility
51Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens Test Input Generation for Programs with Pointers. Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF symbolic execution, pointers, Test input generation
51Koji Noguchi, Michael B. Dillencourt, Lubomir Bic Efficient Global Pointers With Spontaneous Process Migration. Search on Bibsonomy PDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Global Pointers, Process Migration
48Kris Venstermans, Lieven Eeckhout, Koen De Bosschere Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines. Search on Bibsonomy ECOOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
48Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev A specification-based approach to reasoning about pointers. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2006 DBLP  DOI  BibTeX  RDF heap memory management, pointer specification, reasoning
48Dengping Zhu, Hongwei Xi Safe Programming with Pointers Through Stateful Views. Search on Bibsonomy PADL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
48S. Apolloni, M. M. Savino, V. Scocca An approach to define quality pointers for a quality management system in ISO9000 environment. Search on Bibsonomy ETFA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
48Darren C. Atkinson Accurate Call Graph Extraction of Programs with Function Pointers Using Type Signatures. Search on Bibsonomy APSEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
48Francisco Corbera, Rafael Asenjo, Emilio L. Zapata Towards Compiler Optimization of Codes Based on Arrays of Pointers. Search on Bibsonomy LCPC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
48Ana L. Milanova, Atanas Rountev, Barbara G. Ryder Precise Call Graph Construction in the Presence of Function Pointers. Search on Bibsonomy SCAM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
48Darren C. Atkinson, William G. Griswold Effective Whole-Program Analysis in the Presence of Pointers. Search on Bibsonomy SIGSOFT FSE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF C
48David Cronk, Matthew Haines, Piyush Mehrotra Thread Migration in the Presence of Pointers. Search on Bibsonomy HICSS (1) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
43Pascal Cuoq, Damien Doligez Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hash-consing, maximal sharing, weak hashtables, weak pointers, weak references, garbage collection, ocaml
43Zhaozhong Ni, Zhong Shao Certified assembly programming with embedded code pointers. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF embedded code pointers, hoare logic, proof-carrying code, higher-order functions
43Hayo Thielecke Frame rules from answer types for code pointers. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF code pointers, polymorphism, continuations, Hoare logic, typed assembly language
43Arnaud Gotlieb, Tristan Denmat, Bernard Botella Constraint-based test data generation in the presence of stack-directed pointers. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF constraint-based test data generation, stack-directed pointers, constraint satisfaction
43Alessandro Orso, Saurabh Sinha, Mary Jean Harrold Classifying data dependences in the presence of pointers for program comprehension, testing, and debugging. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF incremental slicing, debugging, program comprehension, program slicing, Data dependences, pointers, data-flow testing
43Gerald M. Karam Computational Improvements in Prolog Applications by Predicate Variable Pointers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF structure-oriented operations, Warren, computational improvements, Prolog applications, predicate variable pointers, clause-oriented operations, uninstantiated variables, built-in predicates, C-Prolog, symbol table dictionary, pseudo-Pascal compiler, computational complexity, data structures, data structures, PROLOG, logical implications, performance benefits
41Francisco Corbera, Rafael Asenjo, Emilio L. Zapata A Framework to Capture Dynamic Data Structures in Pointer-Based Codes. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF shape graphs, irregular codes, Shape analysis, optimizing compiler, pointers, recursive data structures
40Daniel Hedin, David Sands 0001 Noninterference in the Presence of Non-Opaque Pointers. Search on Bibsonomy CSFW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Noritaka Osawa Aggregate pointers to support large group collaboration using telepointers. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2006 DBLP  DOI  BibTeX  RDF large group collaboration, aggregation, group awareness, telepointer
40Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa Reasoning about Pointers in Refinement Calculus. Search on Bibsonomy APSEC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40V. Benjamin Livshits, Monica S. Lam Tracking pointers with path and context sensitivity for bug detection in C programs. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF SSA representation, program analysis, error detection, software security, pointer analysis, program representation, context-sensitive analysis, buffer overruns, path-sensitive analysis, security flaws
40Luc Moreau 0001 A fault-tolerant directory service for mobile agents based on forwarding pointers. Search on Bibsonomy SAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF distributed directory service, fault tolerance, mobile agents
40Changwoo Pyo, Gyungho Lee Encoding Function Pointers and Memory Arrangement Checking against Buffer Overflow Attack. Search on Bibsonomy ICICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF program counter, function pointer encoding, memory arrangement checking, buffer overflow attack
40Luc Séméria, Koichi Sato, Giovanni De Micheli Synthesis of hardware models in C with pointers and complex data structures. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
40Luc Séméria, Koichi Sato, Giovanni De Micheli Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C. Search on Bibsonomy DATE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
40Cheol Ho Park, Jong Hyuk Choi, Kyu Ho Park, Daeyeon Park An Adaptive Limited Pointers Directory Scheme for Cache Coherence of Scalable Multiprocessors. Search on Bibsonomy Euro-Par The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
38Martim Carbone, Weidong Cui, Long Lu, Wenke Lee, Marcus Peinado, Xuxian Jiang Mapping kernel objects to enable systematic integrity checking. Search on Bibsonomy CCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF kernel integrity, memory analysis, malware, pointer analysis, introspection
38Fernando Farfán, Vagelis Hristidis, Raju Rangaswami Beyond Lazy XML Parsing. Search on Bibsonomy DEXA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Double Lazy Parsing, Deferred Expansion, XML, XPath, Document Object Model
38Luc Séméria, Giovanni De Micheli Resolution, optimization, and encoding of pointer variables for thebehavioral synthesis from C. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
38Nitzan Weinberg, David Nagle Dynamic Elimination of Pointer-Expressions. Search on Bibsonomy IEEE PACT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF pointer-expression, sphinx, sub-expression, SPECint95, memory address, performance analysis, compiler, locality, speech recognition, dynamic, microprocessor, mpeg, cache memory, microarchitecture, jpeg, value, spatial, memory bandwidth, data reuse, temporal, pointer, conditional execution
38Robert Cypher, C. Bernard Shung Generalized trace-back techniques for survivor memory management in the Viterbi algorithm. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF trace-back, survivor memory, VLSI area requirements, Viterbi algorithm
35Eric Lecolinet Multiple pointers: a study and an implementation. Search on Bibsonomy IHM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF UDP/C notation, Ubit toolkit, bi-manual interaction, multiple pointers, multiple screen workspaces, single display groupware, synchronous groupware
35Hemant D. Pande, William Landi, Barbara G. Ryder Interprocedural Def-Use Associations for C Systems with Single Level Pointers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
35Ing-Ray Chen, Sayed Atef Banawan Modeling and Analysis of Concurrent Maintenance Policies for Data Structures Using Pointers. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF concurrent maintenance policies, state reduction method, two-dimensional Markov model, one-dimensional Markov model, concurrent data structure maintenance policies, service time per operation, priority allocation functions, binary tree data structure, 1D Markov model, 2D Markov model, performance evaluation, performance analysis, data structures, software maintenance, Markov processes, tree data structures, pointers, closed form expression
35Amir M. Ben-Amram, Zvi Galil On Pointers versus Addresses (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF countable closed set, random addressing, pointer machine, RAM program, set of primitives, continuously differentiable, lower bound, time, tree, functions, space, Kolmogorov complexity, strings, data type, pointers, addresses, random-access memory, real numbers, incompressibility
34Lam Nguyen Tung, Hoang-Viet Tran, Khoi Nguyen Le, Pham Ngoc Hung An automated test data generation method for void pointers and function pointers in C/C++ libraries and embedded projects. Search on Bibsonomy Inf. Softw. Technol. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
34Yu Wang 0093, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen 0001, Yang Liu 0003, Jianhua Zhao, Xuandong Li DangDone: Eliminating Dangling Pointers via Intermediate Pointers. Search on Bibsonomy Internetware The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
34Albert Kwon, Udit Dhawan, Jonathan M. Smith, Thomas F. Knight Jr., André DeHon Low-fat pointers: compact encoding and efficient gate-level implementation of fat pointers for spatial safety and capability-based security. Search on Bibsonomy CCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
34Jennifer Hamilton Montana Smart Pointers: They're Smart, and They're Pointers. Search on Bibsonomy COOTS The full citation details ... 1997 DBLP  BibTeX  RDF
34Daniel R. Edelson Smart Pointers: They're Smart, But They're Not Pointers. Search on Bibsonomy C++ Conference The full citation details ... 1992 DBLP  BibTeX  RDF
34Andriy Pavlovych, Wolfgang Stürzlinger Effect of screen configuration and interaction devices in shared display groupware. Search on Bibsonomy HCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF interactive walls, cscw, tabletops, laser pointers
34Pramod Chandraiah, Rainer Dömer Pointer re-coding for creating definitive MPSoC models. Search on Bibsonomy CODES+ISSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF re-coding, MPSoC, pointers, system specification
33Amruth N. Kumar Data space animation for learning the semantics of C++ pointers. Search on Bibsonomy SIGCSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF c++ pointer, data space, visualization, evaluation, animation, effectiveness, explanation, bugs, web-based tutor
33Ana Cavalcanti 0001, Will Harwood, Jim Woodcock 0001 Pointers and Records in the Unifying Theories of Programming. Search on Bibsonomy UTP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF semantics, refinement, object models, relations
33Maged M. Michael Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Dag Nyström, Aleksandra Tesanovic, Christer Norström, Jörgen Hansson Database Pointers: A Predictable Way of Manipulating Hot Data in Hard Real-Time Systems. Search on Bibsonomy RTCSA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Artour Stoutchinin, José Nelson Amaral, Guang R. Gao, James C. Dehnert, Suneel Jain, Alban Douillet Speculative Prefetching of Induction Pointers. Search on Bibsonomy CC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
33C. A. R. Hoare, Jifeng He 0001 A Trace Model for Pointers and Objects. Search on Bibsonomy ECOOP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
33Shik Kim, Muyong Hyun, Sangjo Lee Transparent Treatment of Remote Pointers Using IPC Primitive in RPC Systems. Search on Bibsonomy CANPC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
33Naftaly H. Minsky Towards Alias-Free Pointers. Search on Bibsonomy ECOOP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF pointer-induced aliasing, hiding, programming with threads, storage management, encapsulation
33Masayoshi Aritsugi, Keiichi Teramoto, Guangyi Bai, Akifumi Makinouchi Several Implementations of Persistent Pointers in a Memory-Mapped I/O Environment Search on Bibsonomy DEXA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
33Alain Deutsch Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting. Search on Bibsonomy PLDI The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
33Alexandre V. Zamulin Algebraic Modelling of Imperative Languages with Pointers. Search on Bibsonomy Formal Methods in Programming and Their Applications The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
33Lars Ole Andersen Binding-Time Analysis and the Taming of C Pointers. Search on Bibsonomy PEPM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF C
33Eric G. Wagner Semantics of Block Structured Languages with Pointers. Search on Bibsonomy MFPS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
33Robert Cartwright, Robert Hood, Philip Mathews Paths: An Abstract Alternative to Pointers. Search on Bibsonomy POPL The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
31Supratim Deb, Prakash Linga, Rajeev Rastogi, Anand Srinivasan Accelerating Lookups in P2P Systems using Peer Caching. Search on Bibsonomy ICDE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Noritaka Osawa Pointer delegation for group collaboration using telepointers. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2007 DBLP  DOI  BibTeX  RDF voting, proxy, group awareness, telepointer, group collaboration
31Chris Lattner, Vikram S. Adve Transparent pointer compression for linked data structures. Search on Bibsonomy Memory System Performance The full citation details ... 2005 DBLP  DOI  BibTeX  RDF pointer compression, cache, static analysis, data layout, recursive data structure
31Nathan Tuck, Brad Calder, George Varghese Hardware and Binary Modification Support for Code Pointer Protection From Buffer Overflow. Search on Bibsonomy MICRO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Martin Elsman Garbage collection safety for region-based memory management. Search on Bibsonomy TLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF region inference, garbage collection, standard ML
31Gordon Bassen, Isaak Garber Return of an Object in Two-Stack Dynamic Memory. Search on Bibsonomy ICCSA (1) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31George C. Necula, Scott McPeak, Westley Weimer CCured: type-safe retrofitting of legacy code. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
31Nurit Dor, Michael Rodeh, Shmuel Sagiv Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience). Search on Bibsonomy PASTE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31Paolo Tonella, Giuliano Antoniol, Roberto Fiutem, Ettore Merlo Points-to Analysis for Program Understanding. Search on Bibsonomy WPC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
31Jong-Deok Choi, Michael G. Burke, Paul R. Carini Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
31Amer Diwan, J. Eliot B. Moss, Richard L. Hudson Compiler Support for Garbage Collection in a Statically Typed Language. Search on Bibsonomy PLDI The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Modula-3
26Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic CETS: compiler enforced temporal safety for C. Search on Bibsonomy ISMM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF temporal errors, c, memory safety, dangling pointers
26Mark W. Storer, Kevin M. Greenan, Ethan L. Miller, Kaladhar Voruganti POTSHARDS - a secure, recoverable, long-term archival storage system. Search on Bibsonomy ACM Trans. Storage The full citation details ... 2009 DBLP  DOI  BibTeX  RDF approximate pointers, secret splitting, Archival storage
26Ting-Yuan Yeh, Tzone I. Wang A Ratio-Based Update Scheme for Mobile Agent Location Management. Search on Bibsonomy KES-AMSTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF tracking phase, message delivery phase, update messages, forwarding pointers, mobile agent, location management, network latency
26Suhabe Bugrara, Alex Aiken Verifying the Safety of User Pointer Dereferences. Search on Bibsonomy SP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF user pointers, verification, static analysis, operating system security
26Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, Basant Dwivedi, Antara Ghosh Construction of concrete verification models from C++. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal verification, C++, pointers, equivalence checking, dynamic memory allocation
26Bruce M. Adcock, Paolo Bucci, Wayne D. Heym, Joseph E. Hollingsworth, Timothy J. Long, Bruce W. Weide Which pointer errors do students make? Search on Bibsonomy SIGCSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF data structures, C++, CS2, pointers, references, linked list
26Achuth Sankar S. Nair, T. Mahalakshmi Conceptualizing data structures: a pedagogic approach. Search on Bibsonomy ACM SIGCSE Bull. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF visual representation for RAM, data structures, pointers, memory structure
26Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim Experience with safe manual memory-management in cyclone. Search on Bibsonomy ISMM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF unique pointers, memory management, regions, memory safety, cyclone
26Farn Wang, Karsten Schmidt 0004 Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures. Search on Bibsonomy FORTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF data-structures, Symmetry, symbolic model-checking, pointers
26J. Ramanujam, Satish Krishnamurthy, Jinpyo Hong, Mahmut T. Kandemir Address Code and Arithmetic Optimizations for Embedded Systems. Search on Bibsonomy ASP-DAC/VLSI Design The full citation details ... 2002 DBLP  DOI  BibTeX  RDF address arithmetic optimization, array access to scalar access conversion, embedded systems, compiler optimizations, pointers
26M. Esen Tuna, Kamlesh Rath, Steven D. Johnson Specification and synthesis of bounded indirection. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1995 DBLP  DOI  BibTeX  RDF bounded indirection, complex control structures, dynamic connections, control state indirection, value indirection, net indirection, behavior tables, data path descriptions, DMA controller, formal specification, high level synthesis, finite state machines, interrupts, interrupts, continuations, hardware description languages, hardware description languages, pointers, system specification, data flow computing, control system CAD
26Ben Lee, Ali R. Hurson, Behrooz A. Shirazi A Hybrid Scheme for Processing Data Structures in a Dataflow Environment. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF dataflow environment, maximum inherent parallelism, constant time access, processing overhead, data structures, data structures, asynchronous, storage, pointers, parallelprogramming
26J. Eliot B. Moss Working with Persistent Objects: To Swizzle or Not to Swizzle. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
26Pierre David Semantic Analysis for Parallelizing C. Search on Bibsonomy CONPAR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF compilation, types, automatic parallelization, pointers, C language, side effects
26Bogdan Korel Automated Software Test Data Generation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF automated software test data generation, function-minimization methods, input variables, program execution flow, function-minimization search algorithms, input variables, array indexes, data structures, program testing, search problems, automatic programming, minimisation, backtracking, pointers, dynamic data structures, program behavior, dynamic data-flow analysis
26Jai Prakash Gupta, Stephen C. Winter, Derek R. Wilson CTDNet-A Mechanism for the Concurrent Execution of Lambda Graphs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF CTDNet, lambda graphs, data-driven reduction machine, applicative functional programs, lambda calculus expressions, binary-tree-structured process graphs, ancestor, master processes, slave processes, distributed eager evaluation scheme, conditional expressions, distributed string reduction, parallel programmingas, graph theory, children, parallel machines, pointers, concurrent execution, neighbors
26Bengt Nordström Programming with abstract data types, some examples. Search on Bibsonomy ACM Annual Conference (2) The full citation details ... 1978 DBLP  DOI  BibTeX  RDF Graphs, Mappings, Pascal, Pascal, Pointers
25Will Harwood, Ana Cavalcanti 0001, Jim Woodcock 0001 A Theory of Pointers for the UTP. Search on Bibsonomy ICTAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF semantics, refinement, object models, relations
25Manuel Arenaz, Pedro Amoedo, Juan Touriño Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers. Search on Bibsonomy Euro-Par The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Raine Mäkeläinen, Cristiano di Flora, Tommi Mikkonen Enhanced integration of Java to symbian OS using smart pointers. Search on Bibsonomy JTRES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Symbian OS, mobile Java integration, mobile devices programming, J2ME, Java native interface
Displaying result #1 - #100 of 1351 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license