|
|
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 |
25 | Luc Bläser |
How can we liberate ourselves from pointers? |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
hierarchical composition, components, interfaces |
25 | Rachid Echahed, Nicolas Peltier |
Non Strict Confluent Rewrite Systems for Data-Structures with Pointers. |
RTA |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Viorel Preoteasa |
Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic. |
FM |
2006 |
DBLP DOI BibTeX RDF |
|
25 | 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 |
|
25 | Christopher D. Hundhausen, Jonathan Lee Brown, Sean Farley |
Adding procedures and pointers to the ALVIS algorithm visualization software: a preliminary design. |
SOFTVIS |
2006 |
DBLP DOI BibTeX RDF |
studio-based algorithms course, algorithm visualization |
25 | Zhongqiang Wu, Yingzhou Zhang, Baowen Xu |
Modular Monadic Slicing in the Presence of Pointers. |
International Conference on Computational Science (4) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Rachid Echahed, Nicolas Peltier |
Narrowing Data-Structures with Pointers. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Radu Rugina, Martin C. Rinard |
Symbolic bounds analysis of pointers, array indices, and accessed memory regions. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
static race detection, parallelization, Symbolic analysis |
25 | Ge Zhu, Akhilesh Tyagi |
Protection against Indirect Overflow Attacks on Pointers. |
IWIA |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Christian F. Tschudin, Richard Gold |
Network pointers. |
Comput. Commun. Rev. |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Timothy J. Rolfe |
Program optimization: enforcement of local access and array access via pointers. |
ACM SIGCSE Bull. |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Ki-Sik Kong, Joon-Min Gil, Youn-Hee Han, Ui-Sung Song, Chong-Sun Hwang |
A New Location Caching Scheme Employing Forwarding Pointers in PCS Networks. |
ICOIN (2) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Alessandro Orso, Saurabh Sinha, Mary Jean Harrold |
Effects of Pointers on Data Dependences. |
IWPC |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Amruth N. Kumar |
Learning the interaction between pointers and scope in C++. |
ITiCSE |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Radu Rugina, Martin C. Rinard |
Symbolic bounds analysis of pointers, array indices, and accessed memory regions. |
PLDI |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Donglin Liang, Mary Jean Harrold |
Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers. |
PASTE |
1999 |
DBLP DOI BibTeX RDF |
data-flow analysis, alias analysis |
25 | Ben-Chung Cheng, Wen-mei W. Hwu |
An Empirical Study of Function Pointers Using SPEC Benchmarks. |
LCPC |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Donglin Liang, Mary Jean Harrold |
Reuse-Driven Interprocedural Slicing in the Presence of Pointers and Recursion. |
ICSM |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Christopher Lapkowski, Laurie J. Hendren |
Extended SSA Numbering: Introducing SSA Properties to Language with Multi-level Pointers. |
CC |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Wolfram Amme, Eberhard Zehendner |
Experiences in Analyzing Data Dependences for Programs with Pointers and Structures. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Wolfram Amme, Eberhard Zehendner |
Efficient Calculation of Data Dependences in Programs with Pointers and Structures. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
|
25 | David S. Wise, Joshua Walgenbach |
Static and Dynamic Partitioning of Pointers as Links and Threads. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
tags, garbage collection, storage management, reference counting |
25 | Christopher Lapkowski, Laurie J. Hendren |
Extended SSA numbering: introducing SSA properties to languages with multi-level pointers. |
CASCON |
1996 |
DBLP BibTeX RDF |
|
25 | Maryam Emami, Rakesh Ghiya, Laurie J. Hendren |
Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers. |
PLDI |
1994 |
DBLP DOI BibTeX RDF |
C |
25 | Domenick J. Pinto |
Data structures: pointers vs. arrays.when, where and why. |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Eric G. Wagner |
All recursive types defined using products and sums can be implemented using pointers. |
Algebraic Logic and Universal Algebra in Computer Science |
1988 |
DBLP DOI BibTeX RDF |
|
23 | Hongtao Yu, Jingling Xue, Wei Huo, Xiaobing Feng 0002, Zhaoqing Zhang |
Level by level: making flow- and context-sensitive pointer analysis scalable for millions of lines of code. |
CGO |
2010 |
DBLP DOI BibTeX RDF |
pointer analysis, alias analysis |
23 | Lakshmi N. Bairavasundaram, Meenali Rungta, Nitin Agrawal 0001, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Michael M. Swift |
Analyzing the effects of disk-pointer corruption. |
DSN |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Xi Wang 0005, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang 0001 |
Conditional correlation analysis for safe region-based memory management. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
conditional correlation, program analysis, memory management, error detection, region |
23 | Jeff Da Silva, J. Gregory Steffan |
A probabilistic pointer analysis for speculative optimizations. |
ASPLOS |
2006 |
DBLP DOI BibTeX RDF |
speculative optimization, dependence analysis, pointer analysis |
23 | Takahiro Shinagawa |
SegmentShield: Exploiting Segmentation Hardware for Protecting against Buffer Overflow Attacks. |
SRDS |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers |
Program Slicing with Dynamic Points-To Sets. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
Dynamic analysis, program slicing, points-to analysis |
23 | Suan Hsi Yong, Susan Horwitz |
Pointer-Range Analysis. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
23 | JinHo Ahn |
Decentralized Inter-agent Message Forwarding Protocols for Mobile Agent Systems. |
ICCSA (3) |
2004 |
DBLP DOI BibTeX RDF |
Large-scale service oriented computing, forwarding pointer, mobile agent, directory service, message delivery |
23 | Rolf Hoffmann, Klaus-Peter Völkmann, Wolfgang Heenes |
GCA: A Massively Parallel Model. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Micah Adler, Eran Halperin, Richard M. Karp, Vijay V. Vazirani |
A stochastic process on the hypercube with applications to peer-to-peer networks. |
STOC |
2003 |
DBLP DOI BibTeX RDF |
coupon collector, peer to peer, load balancing, hypercube, hash table |
23 | Hans-Juergen Boehm |
Bounding space usage of conservative garbage collectors. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers |
Improving program slicing with dynamic points-to data. |
SIGSOFT FSE |
2002 |
DBLP DOI BibTeX RDF |
dynamic analysis, program slicing, points-to analysis |
23 | Rolf Hoffmann, Klaus-Peter Völkmann, Stefan Waldschmidt, Wolfgang Heenes |
GCA: Global Cellular Automata. A Flexible Parallel Model. |
PaCT |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Darko Stefanovic, Kathryn S. McKinley, J. Eliot B. Moss |
Age-Based Garbage Collection. |
OOPSLA |
1999 |
DBLP DOI BibTeX RDF |
generational and copy collection, garbage collection, write barrier, object behavior |
23 | Xingbin Zhang, Andrew A. Chien |
Dynamic Pointer Alignment: Tiling and Communication Optimizations for Parallel Pointer-based Computations. |
PPoPP |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Bjarne Steensgaard |
Points-to Analysis by Type Inference of Programs with Structures and Unions. |
CC |
1996 |
DBLP DOI BibTeX RDF |
interprocedural program analysis, non-standard types, constraint solving, points-to analysis, C programs |
23 | Joseph Hummel, Laurie J. Hendren, Alexandru Nicolau |
A General Data Dependence Test for Dynamic, Pointer-Based Data Structures. |
PLDI |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Nicholas P. Carter, Stephen W. Keckler, William J. Dally |
Hardware Support for Fast Capability-based Addressing. |
ASPLOS |
1994 |
DBLP DOI BibTeX RDF |
|
23 | David J. Lilja, Pen-Chung Yew |
Improving Memory Utilization in Cache Coherence Directories. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
memory utilization, cache coherence directories, large-scale shared memorymultiprocessors, software-directed schemes, compile-time memory disambiguation, dynamically tagged directory, high-level sharing information, configurationmanagement, discrete event simulation, compiler optimizations, program compilers, shared memory systems, trace-driven simulations, buffer storage, storage allocation, interprocedural analysis |
23 | Wilbur D. Hagamen, Paul C. Berry, Kenneth E. Iverson, Jay C. Weber |
Processing Natural Language Syntactic and Semantic Mechanisms. |
APL |
1989 |
DBLP DOI BibTeX RDF |
|
18 | James Coole, John Robert Wernsing, Greg Stitt |
A Traversal Cache Framework for FPGA Acceleration of Pointer Data Structures: A Case Study on Barnes-Hut N-body Simulation. |
ReConFig |
2009 |
DBLP DOI BibTeX RDF |
traversal cache, FPGA, speedup, pointers |
18 | María-del-Mar Gallardo, Pedro Merino 0001, David Sanán |
Model Checking C Programs with Dynamic Memory Allocation. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
software model checking, pointers, dynamic memory, Model extraction |
18 | Greg Stitt, Gaurav Chaudhari, James Coole |
Traversal caches: a first step towards FPGA acceleration of pointer-based data structures. |
CODES+ISSS |
2008 |
DBLP DOI BibTeX RDF |
traversal cache, fpga, synthesis, hardware/software partitioning, pointers, cad |
18 | David Hovemeyer, William W. Pugh |
Finding more null pointer bugs, but not too many. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
null pointers, Java, static analysis, software quality, bugs, FindBugs, bug patterns |
18 | 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 |
18 | Martin Berger 0001, Kohei Honda 0001, Nobuko Yoshida |
A logical analysis of aliasing in imperative higher-order functions. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
functional programming, typing, aliasing, hoare-logics, ?-calculus, pointers, modalities |
18 | Anish Muttreja, Anand Raghunathan, Srivaths Ravi 0001, Niraj K. Jha |
Hybrid simulation for embedded software energy estimation. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
energy macromodels, embedded software, pointers analysis, energy estimation, hybrid simulation |
18 | Brad A. Myers, Robert G. Malkin, Michael Bett, Alex Waibel, Ben Bostwick, Robert C. Miller, Jie Yang 0001, Matthias Denecke, Edgar Seemann, Jie Zhu, Choon Hong Peck, Dave Kong, Jeffrey Nichols 0001, William L. Scherlis |
Flexi-Modal and Multi-Machine User Interfaces. |
ICMI |
2002 |
DBLP DOI BibTeX RDF |
speech recognition, personal digital assistants (PDAs), gesture recognition, handwriting recognition, computer supported collaborative work (CSCW), handhelds, Multi-modal interfaces, gaze tracking, laser pointers |
18 | Owen L. Astrachan |
Concrete teaching: hooks and props as instructional technology. |
ITiCSE |
1998 |
DBLP DOI BibTeX RDF |
active teaching, Java, C++, active learning, pointers, introductory computer science |
18 | Mary Jean Harrold, Gregg Rothermel |
Separate Computation of Alias Information for Reuse. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
separate analysis, static analysis, reuse, data flow analysis, Aliasing, pointers |
18 | Michael J. Corinthios |
Optimal Parallel and Pipelined Processing Through a New Class of Matrices with Application to Generalized Spectral Analysis. |
IEEE Trans. Computers |
1994 |
DBLP DOI BibTeX RDF |
general-base matrices, sampling matrices, Poles, algorithm parameters, parallel pipelined processors, memory topology, access uniformity, shuffle complexity, algorithm factorizations, generalized perfect shuffle, Chrestenson generalized Walsh transform, generalized spectral analysis, parallel processing, parallel architectures, computer architecture, pipeline processing, pipelined processing, matrix algebra, pointers, pipelined architecture, zeros, matrices, spans, matrix theory |
18 | Frank S. de Boer |
A Proof System for the Language POOL. |
REX Workshop |
1990 |
DBLP DOI BibTeX RDF |
partial correctness, completeness, Object, soundness, Hoare-logic, pointers, proof-system, rendezvous, object-creation |
18 | Ian J. Davis |
Local Correction of Helix(k) Lists. |
IEEE Trans. Computers |
1989 |
DBLP DOI BibTeX RDF |
helix(k) lists, robust multiply linked list, local correction, damaged, algorithm, data structures, errors, failure, node, pointers, disconnected, list processing |
18 | Michael L. Fredman, Deborah L. Goldsmith |
Three Stacks |
FOCS |
1988 |
DBLP DOI BibTeX RDF |
lower complexity bounds, upper complexity bounds, three stacks, additional time, additional space, memory, collisions, storage allocation, pointers, linked lists, relocating |
18 | Bengt Nordstrüm |
Assignments and high level data types. |
ACM Annual Conference (2) |
1978 |
DBLP DOI BibTeX RDF |
Adress, Mathematical semantics, Assignment, Data types, Pointers |
17 | Ahmed El-Deeb |
What Does the World's Biggest Tech Event Tell Us? Key Pointers from CES 2024. |
ACM SIGSOFT Softw. Eng. Notes |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Sumit Walia, Cheng Ye, Arkid Bera, Dhruvi Lodhavia, Yatish Turakhia |
TALCO: Tiling Genome Sequence Alignment Using Convergence of Traceback Pointers. |
HPCA |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Brian Wheatman, Randal C. Burns, Aydin Buluç, Helen Xu 0001 |
CPMA: An Efficient Batch-Parallel Compressed Set Without Pointers. |
PPoPP |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Guy E. Blelloch, Yuanhao Wei |
VERLIB: Concurrent Versioned Pointers. |
PPoPP |
2024 |
DBLP DOI BibTeX RDF |
|
17 | Jie Zhou 0022, John Criswell, Michael Hicks 0001 |
Fat Pointers for Temporal Memory Safety of C. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Dongwei Chen, Dong Tong 0001, Chun Yang, Jiangfang Yi, Xu Cheng 0001 |
FlexPointer: Fast Address Translation Based on Range TLB and Tagged Pointers. |
ACM Trans. Archit. Code Optim. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Lendy Mulot, Thomas Howard, Claudio Pacchierotti, Maud Marchal |
Improving the Perception of Mid-air Tactile Shapes with Spatio-temporally-modulated Tactile Pointers. |
ACM Trans. Appl. Percept. |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Chao Lou, Kewei Tu |
AMR Parsing with Causal Hierarchical Attention and Pointers. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Brian Wheatman, Randal C. Burns, Aydin Buluç, Helen Xu 0001 |
CPMA: An Efficient Batch-Parallel Compressed Set Without Pointers. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Javier Segovia Aguas, Sergio Jiménez Celorrio, Anders Jonsson 0001 |
Generalized Planning as Heuristic Search: A new planning search-space that leverages pointers over objects. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Ethan L. Miller, George V. Neville-Neil, Achilles Benetopoulos, Pankaj Mehra, Daniel Bittman |
Pointers in Far Memory. |
Commun. ACM |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Ethan L. Miller, Achilles Benetopoulos, George V. Neville-Neil, Pankaj Mehra, Daniel Bittman |
Pointers in Far Memory: A rethink of how data and computations should be organized. |
ACM Queue |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Michael A. Bender, Alex Conway, Martin Farach-Colton, William Kuszmaul, Guido Tagliavini |
Tiny Pointers. |
SODA |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Anderson, Guy E. Blelloch, Yuanhao Wei |
Smarter Atomic Smart Pointers: Safe and Efficient Concurrent Memory Management (Abstract). |
HOPC@SPAA |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Xun An, Qihang Zhou, Haichao Du, Zhenyu Song, Xiaoqi Jia |
Refining Use-After-Free Defense: Eliminating Dangling Pointers in Registers and Memory. |
APSEC |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Robert J. Colvin |
A Fine-Grained Semantics for Arrays and Pointers Under Weak Memory Models. |
FM |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Jinxiong Xia, Houfeng Wang |
A Sequence-to-Sequence Approach with Mixed Pointers to Topic Segmentation and Segment Labeling. |
KDD |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Yang Chen, Jianfeng Jiang, Shoumeng Yan, Hui Xu |
Mind Your Enclave Pointers! Detecting Privacy Leaks for SGX Apps via Sparse Taint Analysis. |
ISSRE |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Amogha Udupa Shankaranarayana Gopal, Raveendra Soori, Michael Ferdman, Dongyoon Lee |
TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers. |
OSDI |
2023 |
DBLP BibTeX RDF |
|
17 | Chao Lou, Kewei Tu |
AMR Parsing with Causal Hierarchical Attention and Pointers. |
EMNLP |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Jaehwang Jung, Janggun Lee, Jeonghyeon Kim, Jeehoon Kang |
Applying Hazard Pointers to More Concurrent Data Structures. |
SPAA |
2023 |
DBLP DOI BibTeX RDF |
|
17 | Lanfranco Lopriore |
Cryptographic pointers for fine-grained file access security. |
Inf. Secur. J. A Glob. Perspect. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Mohannad Ismail, Andrew Quach, Christopher Jelesnianski, Yeongjin Jang, Changwoo Min |
Tightly Seal Your Sensitive Pointers with PACTight. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Rasheed Abid, S. Kaisar Alam |
Improving Segmentation of Breast Ultrasound Images: Semi Automatic Two Pointers Histogram Splitting Technique. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Jie Zhou 0022, John Criswell, Michael Hicks 0001 |
Fat Pointers for Temporal Memory Safety of C. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Yong-Gang Li, Yeh-Ching Chung, Yu Bao, Yi Lu, Shanqing Guo, Guoyuan Lin |
KPointer: Keep the code pointers on the stack point to the right code. |
Comput. Secur. |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Dongwei Chen, Dong Tong 0001, Chun Yang, Jiangfang Yi, Xu Cheng 0001 |
FlexPointer: Fast Address Translation Based on Range TLB and Tagged Pointers. |
PACT |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Pierre Misse-Chanabier, Théo Rogliano |
Ease Virtual Machine Level Tooling with Language Level Ordinary Object Pointers. |
VMIL@SPLASH |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Vini Kanvar, Srikanth Tamilselvam, Raghavan Komondoor |
Handling Memory Pointers in Communication between Microservices. |
ICWS |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Mohannad Ismail, Andrew Quach, Christopher Jelesnianski, Yeongjin Jang, Changwoo Min |
Tightly Seal Your Sensitive Pointers with PACTight. |
USENIX Security Symposium |
2022 |
DBLP BibTeX RDF |
|
17 | Haoxin Tu, Lingxiao Jiang, Xuhua Ding, He Jiang 0001 |
FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers. |
ESEC/SIGSOFT FSE |
2022 |
DBLP DOI BibTeX RDF |
|
17 | Che-Jui Chang, Shyh-Kang Jeng |
Acoustic Anomaly Detection Using Multilayer Neural Networks and Semantic Pointers. |
J. Inf. Sci. Eng. |
2021 |
DBLP BibTeX RDF |
|
17 | Lluís Gómez, Ali Furkan Biten, Rubèn Pérez Tito, Andrés Mafla, Marçal Rusiñol, Ernest Valveny, Dimosthenis Karatzas |
Multimodal grid features and cell pointers for scene text visual question answering. |
Pattern Recognit. Lett. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Aaron R. Voelker, Peter Blouw, Xuan Choo, Nicole Sandra-Yaffa Dumont, Terrence C. Stewart, Chris Eliasmith |
Simulating and Predicting Dynamical Systems With Spatial Semantic Pointers. |
Neural Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
17 | Daniil O. Kuts |
Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader 0001, Joshua Sunshine |
Gradual Program Analysis for Null Pointers. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | Michael A. Bender, Alex Conway, Martin Farach-Colton, William Kuszmaul, Guido Tagliavini |
Tiny Pointers. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | Costin Iordache, Stephen M. Fendyke, Mike J. Jones, Robert A. Buckley |
Smart Pointers and Shared Memory Synchronisation for Efficient Inter-process Communication in ROS on an Autonomous Vehicle. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
17 | Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, Ilya Sergey |
Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper). |
CAV (1) |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 1351 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|