|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1277 occurrences of 618 keywords
|
|
|
Results
Found 1598 publication records. Showing 1573 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Damien Doligez, Georges Gonthier |
Portable, Unobtrusive Garbage Collection for Multiprocessor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994, pp. 70-83, 1994, ACM Press, 0-89791-636-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | William D. Clinger, Lars Thomas Hansen |
Lambda, the Ultimate Label or a Simple Optimizing Compiler for Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1994 ACM Conference on LISP and Functional Programming, Orlando, Florida, USA, 27-29 June 1994., pp. 128-139, 1994, ACM, 0-89791-643-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
SCHEME |
16 | James W. O'Toole Jr., Scott Nettles |
Concurrent Replicating Garbage Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1994 ACM Conference on LISP and Functional Programming, Orlando, Florida, USA, 27-29 June 1994., pp. 34-42, 1994, ACM, 0-89791-643-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
ML |
16 | John Launchbury |
A Natural Semantics for Lazy Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 144-154, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Amos Israeli, Lihu Rappoport |
Efficient Wait-Free Implementation of a Concurrent Priority Queue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 7th International Workshop, WDAG '93, Lausanne, Switzerland, September 27-29, 1993, Proceedings, pp. 1-17, 1993, Springer, 3-540-57271-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Hans-Juergen Boehm |
Space efficient conservative garbage collection (with retrospective) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Best of PLDI ![In: 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection, pp. 490-501, 1993, ACM, 1-58113-623-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Hans-Juergen Boehm |
Space Efficient Conservative Garbage Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), Albuquerque, New Mexico, USA, June 23-25, 1993, pp. 197-206, 1993, ACM, 0-89791-598-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
C, SPARC, Cedar |
16 | Maria Cristina Pinotti, Geppino Pucci |
Parallel Algorithms for Priority Queue Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: Algorithm Theory - SWAT '92, Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992, Proceedings, pp. 130-139, 1992, Springer, 3-540-55706-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Parallel Algorithms, Data Structures, Analysis of Algorithms, Heaps |
16 | Wolfgang Küchlin |
PARSAC-2: A Parallel SAC-2 Based on Threads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 8th International Symposium, AAECC-8, Tokyo, Japan, August 20-24, 1990, Proceedings, pp. 341-353, 1990, Springer, 3-540-54195-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Rassul Ayani |
LR-algorithm: concurrent operations on priority queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, SPDP 1990, Dallas, Texas, USA, December 9-13, 1990., pp. 22-25, 1990, IEEE Computer Society, 0-8186-2087-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Robert Hieb, R. Kent Dybvig, Carl Bruggeman |
Representing Control in the Presence of First-Class Continuations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), White Plains, New York, USA, June 20-22, 1990, pp. 66-77, 1990, ACM, 0-89791-364-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
SCHEME |
16 | Michael L. Fredman, Robert Endre Tarjan |
Fibonacci heaps and their uses in improved network optimization algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 34(3), pp. 596-615, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Olivier Danvy |
Memory allocation and higher-order functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the Symposium on Interpreters and Interpretive Techniques, 1987, St. Paul, Minnesota, USA, June 24 - 26, 1987, pp. 241-252, 1987, ACM, 0-89791-235-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | James Brotherston, Max I. Kanovich |
Undecidability of Propositional Separation Logic and Its Neighbours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, pp. 130-139, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
bunched logic, heap models, separation logic, undecidability |
16 | J. Stanley Warford, Chris Dimpfl |
The pep/8 memory tracer: visualizing activation records on the run-time stack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, Milwaukee, Wisconsin, USA, March 10-13, 2010, pp. 371-375, 2010, ACM, 978-1-4503-0006-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
activation record, pep/8, run-time stack, simulation, visualization, virtual machine, memory model, heap, assembly language |
16 | Guoqing Xu 0001, Matthew Arnold, Nick Mitchell, Atanas Rountev, Gary Sevitsky |
Go with the flow: profiling copies to find runtime bloat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 419-430, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
copy graph, memory bloat, profiling, heap analysis |
16 | Bhuvan Middha, Matthew S. Simpson, Rajeev Barua |
MTSS: Multitask stack sharing for embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 7(4), pp. 46:1-46:37, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Out-of-memory errors, cactus stack, meshed stack, reliability, data compression, reuse, virtual memory, runtime checks, heap overflow, stack overflow |
16 | Adriana E. Chis |
Automatic detection of memory anti-patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA, pp. 925-926, 2008, ACM, 978-1-60558-220-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
java heap dumps, memory anti-patterns, metrics, memory footprint |
16 | Bhuvan Middha, Matthew S. Simpson, Rajeev Barua |
MTSS: multi task stack sharing for embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2005 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2005, San Francisco, California, USA, September 24-27, 2005, pp. 191-201, 2005, ACM, 1-59593-149-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
cactus stack, meshed stack, out-of-memory, reliability, reuse, runtime checks, heap overflow, stack overflow |
16 | Manuel Fähndrich, Robert DeLine |
Adoption and Focus: Practical Linear Types for Imperative Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Berlin, Germany, June 17-19, 2002, pp. 13-24, 2002, ACM, 1-58113-463-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
heap aliasing, linear types, region-based memory management |
16 | Zhong Shao, Andrew W. Appel |
Efficient and safe-for-space closure conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 22(1), pp. 129-161, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
callee-save registers, closure representation, heap-based compilation, space safety, compiler optimization, flow analysis, closure conversion |
16 | Adam Bakewell, Colin Runciman |
A model for comparing the space usage of lazy evaluators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, Montreal, Canada, September 20-23, 2000, pp. 151-162, 2000, ACM, 1-58113-265-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
garbage, heap usage, space leak, functional programming, operational semantics, bisimulation, term-graph rewriting |
16 | Brian Willard, Ophir Frieder |
Autonomous Garbage Collection: Resolving Memory Leaks in Long Running Network Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1998), October 12-15, 1998, Lafayette, Louisiana, USA, pp. 886-896, 1998, IEEE Computer Society, 0-8186-9014-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
heap storage, software performance degeneration, garbage collection, network communications, memory leaks, dynamic memory allocation |
16 | Zvi Galil |
Efficient Algorithms for Finding Maximal Matching in Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP'83, Trees in Algebra and Programming, 8th Colloquium, L'Aquila, Italy, March 9-11, 1983, Proceedings, pp. 90-113, 1983, Springer, 3-540-12727-5. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
Shmathematics, algorithmic tools, monsters, polygamy, the asexual case, the assignment problem, moonlighting, augmenting path, ET, shrink, The Main Theorem of Botany, The ACM Longest Paper Award, generalized priority queue, d-heap, warm-up, primaldual, sexual discrimination, affirmative action, joint income tax return, data structures, matching, duality, blossoms |
15 | Dandan Xu, Kai Chen 0012, Miaoqian Lin, Chaoyang Lin, Xiaofeng Wang |
AutoPwn: Artifact-Assisted Heap Exploit Generation for CTF PWN Competitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Forensics Secur. ![In: IEEE Trans. Inf. Forensics Secur. 19, pp. 293-306, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Xin Zhang, Jinheng Xie, Yuan Yuan, Michael Bi Mi, Robby T. Tan |
HEAP: Unsupervised Object Discovery and Localization with Contrastive Grouping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada, pp. 7323-7331, 2024, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Nathaniel Wesley Filardo, Brett F. Gutstein, Jonathan Woodruff, Jessica Clarke 0001, Peter Rugg, Brooks Davis, Mark Johnston, Robert M. Norton, David Chisnall, Simon W. Moore, Peter G. Neumann, Robert N. M. Watson |
Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS (2) ![In: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, ASPLOS 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024, pp. 251-268, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Alexandre Moine 0001, Arthur Charguéraud, François Pottier |
A High-Level Separation Logic for Heap Space under Garbage Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(POPL), pp. 718-747, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yigit Çagatay Kuyu, Fahri Vatansever |
Heap-based optimizer embedded with search strategies applied to high-order analog filter designs: a comparative study with up-to-date metaheuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 35(2), pp. 1447-1467, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Suhyeon Song, Seonghwan Park, Donghyun Kwon |
metaSafer: A Technique to Detect Heap Metadata Corruption in WebAssembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 124887-124898, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Pavan G. Malghan, Malaya Kumar Hota |
An Improved VME Technique via Heap Based Optimization Algorithm and AWIT Method for PLI and MA Noise Elimination in ECG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 54070-54079, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yu Wang, Yipeng Zhang, Zhoujun Li 0001 |
AAHEG: Automatic Advanced Heap Exploit Generation Based on Abstract Syntax Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(12), pp. 2197, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yuhang Liu, Zixuan Wang, Hao Yuan, Guiquan Zhu, Yongqing Zhang |
HEAP: a task adaptive-based explainable deep learning framework for enhancer activity prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Briefings Bioinform. ![In: Briefings Bioinform. 24(5), September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Deok-Jae Oh, Yaebin Moon, Do Kyu Ham, Tae Jun Ham, Yongjun Park 0001, Jae W. Lee, Jung Ho Ahn, Eojin Lee |
MaPHeA: A Framework for Lightweight Memory Hierarchy-aware Profile-guided Heap Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 22(1), pp. 2:1-2:28, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Xin Zhang, Jinheng Xie, Yuan Yuan, Michael Bi Mi, Robby T. Tan |
HEAP: Unsupervised Object Discovery and Localization with Contrastive Grouping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.17492, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Kiarash Parvizi |
An Adaptive Cache-Friendly Priority Queue: Fine-Tuning Heap Efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.06663, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Paloma Sodhi, S. R. K. Branavan, Ryan McDonald |
HeaP: Hierarchical Policies for Web Actions using LLMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.03720, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Iyad A. Katib, Mahmoud Ragab |
Heap Based Optimization with Deep Quantum Neural Network Based Decision Making on Smart Healthcare Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Syst. Sci. Eng. ![In: Comput. Syst. Sci. Eng. 46(3), pp. 3749-3765, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Rizk Masoud Rizk-Allah, Islam M. Eldesoky, Ekram A. Aboali, Sarah M. Nasr |
Heap-Based Optimizer Algorithm with Chaotic Search for Nonlinear Programming Problem Global Solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Intell. Syst. ![In: Int. J. Comput. Intell. Syst. 16(1), pp. 149, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sanaz Tavakoli-Someh, Marina Shimchenko, Erik Österlund, Rodrigo Bruno, Paulo Ferreira 0001, Tobias Wrigstad |
Heap Size Adjustment with CPU Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPLR ![In: Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, MPLR 2023, Cascais, Portugal, 22 October 2023, pp. 114-128, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Haritha Madhav C, Unnikrishnan Cheramangalath |
Memory leak detection using Heap Object Flow Graph (HOFG). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: 16th Innovations in Software Engineering Conference, ISEC2023, Allahabad, India, February 23-25, 2023, pp. 4:1-4:11, 2023, ACM, 979-8-4007-0064-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sander Borst, Daniel Dadush, Sophie Huiberts, Danish Kashaev |
A Nearly Optimal Randomized Algorithm for Explorable Heap Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization - 24th International Conference, IPCO 2023, Madison, WI, USA, June 21-23, 2023, Proceedings, pp. 29-43, 2023, Springer, 978-3-031-32725-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Christian Navasca, Martin Maas 0001, Petros Maniatis, Hyeontaek Lim, Guoqing Harry Xu |
Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 2023 ACM SIGPLAN International Symposium on Memory Management, ISMM 2023, Orlando, FL, USA, 18 June 2023, pp. 43-57, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Guillermo Polito, Pablo Tesone, Nahuel Palumbo, Stéphane Ducasse, Jean Privat |
Heap Fuzzing: Automatic Garbage Collection Testing with Expert-Guided Random Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: IEEE Conference on Software Testing, Verification and Validation, ICST 2023, Dublin, Ireland, April 16-20, 2023, pp. 107-116, 2023, IEEE, 978-1-6654-5666-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Linong Shi, Chuanping Hu, Yan Zhuang, Yan Lu |
SdShield: Effectively Ensuring Heap Security via Shadow Page Table. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDF2C (2) ![In: Digital Forensics and Cyber Crime - 14th EAI International Conference, ICDF2C 2023, New York City, NY, USA, November 30, 2023, Proceedings, Part II, pp. 114-131, 2023, Springer, 978-3-031-56582-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yoochan Lee, Jinhan Kwak, Junesoo Kang, Yuseok Jeon, Byoungyoung Lee |
Pspray: Timing Side-Channel based Linux Kernel Heap Exploitation Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 6825-6842, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Runhao Li, Bin Zhang, Jiongyi Chen, Wenfeng Lin, Chao Feng, Chaojing Tang |
Towards Automatic and Precise Heap Layout Manipulation for General-Purpose Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NDSS ![In: 30th Annual Network and Distributed System Security Symposium, NDSS 2023, San Diego, California, USA, February 27 - March 3, 2023, 2023, The Internet Society. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio |
Precise Lazy Initialization for Programs with Complex Heap Inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023, pp. 752-762, 2023, IEEE, 979-8-3503-1594-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Amogha Udupa Shankaranarayana Gopal, Raveendra Soori, Michael Ferdman, Dongyoon Lee |
TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSDI ![In: 17th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2023, Boston, MA, USA, July 10-12, 2023., pp. 535-552, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Zuzana Jelcicová, Evangelia Kasapaki, Oskar Andersson, Jens Sparsø |
A Min-Heap-Based Accelerator for Deterministic On-the-Fly Pruning in Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2023, Monterey, CA, USA, May 21-25, 2023, pp. 1-5, 2023, IEEE, 978-1-6654-5109-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ramy Fakhoury, Anastasia Braginsky, Idit Keidar, Yoav Zuriel |
Nova: Safe Off-Heap Memory Allocation and Reclamation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: 27th International Conference on Principles of Distributed Systems, OPODIS 2023, December 6-8, 2023, Tokyo, Japan, pp. 15:1-15:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-308-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Xiaohe Mo, Yaqun Huang, Chunna Zhao, Mengfan Hu |
Shuffled Frog-leaping Algorithm Based on Heap and Fractional Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCIS ![In: 9th IEEE International Conference on Cloud Computing and Intelligent Systems, CCIS 2023, Dali, China, August 12-13, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-0442-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | B. Naresh Kumar Reddy, K. Sarangam, Sushmita Dandeliya, S. Pavan Sai Naidu, Naveen Kumar P |
Accelerating Sorting Performance on FPGA: Combining Quick Sort and Heap Sort through Hybrid Pipelining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iSES ![In: IEEE International Symposium on Smart Electronic Systems, iSES 2023, Ahmedabad, India, December 18-20, 2023, pp. 405-408, 2023, IEEE, 979-8-3503-8324-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Haoxin Tu |
Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, Melbourne, Australia, May 14-20, 2023, pp. 218-220, 2023, IEEE, 979-8-3503-2263-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Kyung-Seok Lee, Teahyung Lee, Young Ik Eom |
Hybrid Local Cache Model for Enhancing Performance and Memory Footprint of Mobile Heap Allocator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCCE ![In: 12th IEEE Global Conference on Consumer Electronics, GCCE 2023, Nara, Japan, October 10-13, 2023, pp. 995-996, 2023, IEEE, 979-8-3503-4018-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Marisa Kirisame, Pranav Shenoy, Pavel Panchekha |
Optimal heap limits for reducing browser memory use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(OOPSLA2), pp. 986-1006, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Marie Madiot, François Pottier |
A separation logic for heap space under garbage collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(POPL), pp. 1-28, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Xinming Zhang 0002, Shaochen Wen |
Heap-based optimizer based on three new updating strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. Appl. ![In: Expert Syst. Appl. 209, pp. 118222, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mnacho Echenim, Radu Iosif, Nicolas Peltier |
Entailment is Undecidable for Symbolic Heap Separation Logic Formulæ with Non-Established Inductive Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 173, pp. 106169, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ponna Mahesh Kumar, P. Srinivasa Rao |
High Median Utility Itemset Mining for recovering streaming window transaction using novel Modified Heap-based Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 34(18), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mohamed Abd Elaziz 0001, Emad M. S. El-Said, Ammar H. Elsheikh, Gamal B. Abdelaziz |
Performance prediction of solar still with a high-frequency ultrasound waves atomizer using random vector functional link/heap-based optimizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Softw. ![In: Adv. Eng. Softw. 170, pp. 103142, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Chun-Yao Lee, Truong-An Le, Yu-Ting Lin |
A Feature Selection Approach Hybrid Grey Wolf and Heap-Based Optimizer Applied in Bearing Fault Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 56691-56705, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Abdullah Mohammed Shaheen, Abdallah M. Elsayed, Ehab E. Elattar, Ragab A. El-Sehiemy, Ahmed Rabie Ginidi |
An Intelligent Heap-Based Technique With Enhanced Discriminatory Attribute for Large-Scale Combined Heat and Power Economic Dispatch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 64325-64338, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | J. Jayapradha, M. Prakash 0003, Youseef Alotaibi, Osamah Ibrahim Khalaf, Saleh Ahmed Alghamdi |
Heap Bucketization Anonymity - An Efficient Privacy-Preserving Data Publishing Model for Multiple Sensitive Attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 28773-28791, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Hyunji Hong, Seunghoon Woo, Sunghan Park, Jeongwook Lee, Heejo Lee |
Circuit: A JavaScript Memory Heap-Based Approach for Precisely Detecting Cryptojacking Websites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 95356-95368, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Abdullah Mohammed Shaheen, Abdullah M. Elsayed, Ahmed Rabie Ginidi, Ragab A. El-Sehiemy, Ehab E. Elattar |
Improved Heap-Based Optimizer for DG Allocation in Reconfigured Radial Feeder Distribution Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Syst. J. ![In: IEEE Syst. J. 16(4), pp. 6371-6380, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Christofer Fellicious, Stewart Sentanoe, Michael Granitzer, Hans P. Reiser |
SmartKex: Machine Learning Assisted SSH Keys Extraction From The Heap Dump. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.05243, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sander Borst, Daniel Dadush, Sophie Huiberts, Danish Kashaev |
A nearly optimal randomized algorithm for explorable heap selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.05982, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jie Liu, Hang An, Jin Li, Hongliang Liang |
Detecting Exploit Primitives Automatically for Heap Vulnerabilities on Binary Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.13990, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Marisa Kirisame, Pranav Shenoy, Pavel Panchekha |
Optimal Heap Limits for Reducing Browser Memory Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.10455, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Henrich Lauko, Lukás Korencik, Petr Rockai |
Verification of Programs Sensitive to Heap Layout. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 31(4), pp. 71:1-71:27, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Weifeng Shan, Zenglin Qiao, Ali Asghar Heidari, Wenyong Gui, Huiling Chen 0001, Yuntian Teng, Yingqi Liang, Tianmin Lv |
An efficient rotational direction heap-based optimization with orthogonal structure for medical diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 146, pp. 105563, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Abdullah Mohammed Shaheen, Abdallah M. Elsayed, Ahmed Rabie Ginidi, Ragab A. El-Sehiemy, Ehab E. Elattar |
A heap-based algorithm with deeper exploitative feature for optimal allocations of distributed generations with feeder reconfiguration in power distribution networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 241, pp. 108269, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Kexing Zhou, Zizheng Guo, Tsung-Wei Huang, Yibo Lin |
Efficient Critical Paths Search Algorithm using Mergeable Heap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: 27th Asia and South Pacific Design Automation Conference, ASP-DAC 2022, Taipei, Taiwan, January 17-20, 2022, pp. 190-195, 2022, IEEE, 978-1-6654-2135-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Argyris Kokkinis, Dionysios Diamantopoulos, Kostas Siozios |
Dynamic Heap Management in High-Level Synthesis for Many-Accelerator Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: 32nd International Conference on Field-Programmable Logic and Applications, FPL 2022, Belfast, United Kingdom, August 29 - Sept. 2, 2022, pp. 287-293, 2022, IEEE, 978-1-6654-7390-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Maryam Mouzarani, Ali Kamali, Sara Baradaran, Mahdi Heidari |
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@STAF ![In: Tests and Proofs - 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings, pp. 89-105, 2022, Springer, 978-3-031-09826-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | William Blair, William K. Robertson, Manuel Egele |
MPKAlloc: Efficient Heap Meta-data Integrity Through Hardware Memory Protection Keys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIMVA ![In: Detection of Intrusions and Malware, and Vulnerability Assessment - 19th International Conference, DIMVA 2022, Cagliari, Italy, June 29 - July 1, 2022, Proceedings, pp. 136-155, 2022, Springer, 978-3-031-09483-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Chaochao Zhang, Rui Hou 0001 |
Security Support on Memory Controller for Heap Memory Safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TrustCom ![In: IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2022, Wuhan, China, December 9-11, 2022, pp. 248-257, 2022, IEEE, 978-1-6654-9425-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Zdravko Gotovac, Stefano Gregori |
Quadrature Phasing in Dickson-Pelliconi and Heap Charge Pumps With Improved Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2022, Halifax, NS, Canada, September 18-20, 2022, pp. 112-117, 2022, IEEE, 978-1-6654-8432-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Yuanping Yu, Xiangkun Jia, Yuwei Liu, Yanhao Wang, Qian Sang, Chao Zhang, Purui Su |
HTFuzz: Heap Operation Sequence Sensitive Fuzzing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, pp. 53:1-53:13, 2022, ACM, 978-1-4503-9475-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Jan H. Boockmann, Gerald Lüttgen |
Heap Patterns for Memory Graph Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSOFT ![In: Working Conference on Software Visualization, VISSOFT 2022, Limassol, Cyprus, October 3-4, 2022, pp. 162-166, 2022, IEEE, 978-1-6654-8092-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ajinkya Rajput, Kanchi Gopinath |
GARUDA: Heap aware symbolic execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE-Companion ![In: 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2022, Pittsburgh, PA, USA, May 22-24, 2022, pp. 352-353, 2022, ACM/IEEE, 978-1-6654-9598-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Paul Kirth, Mitchel Dickerson, Stephen Crane, Per Larsen, Adrian Dabrowski, David Gens, Yeoul Na, Stijn Volckaert, Michael Franz |
PKRU-safe: automatically locking down the heap between safe and unsafe languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5 - 8, 2022, pp. 132-148, 2022, ACM, 978-1-4503-9162-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Zheng Dang, Shuibing He, Peiyi Hong, Zhenxin Li, Xuechen Zhang 0001, Xian-He Sun, Gang Chen 0001 |
NVAlloc: rethinking heap metadata management in persistent memory allocators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022 - 4 March 2022, pp. 115-127, 2022, ACM, 978-1-4503-9205-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Brett F. Gutstein |
Memory safety with CHERI capabilities: security analysis, language interpreters, and heap temporal safety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
15 | Kimball Germane, Jay McCarthy |
Newly-single and loving it: improving higher-order must-alias analysis with heap fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 5(ICFP), pp. 1-28, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Yasunari Watanabe, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova, Ilya Sergey |
Certifying the synthesis of heap-manipulating programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 5(ICFP), pp. 1-29, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mingliang Tang, Kamran Esmaeili |
Heap Leach Pad Surface Moisture Monitoring Using Drone-Based Aerial Images and Convolutional Neural Networks: A Case Study at the El Gallo Mine, Mexico. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 13(8), pp. 1420, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mohamed A. M. Shaheen, Hany M. Hasanien, Ahmed Al-Durra |
Solving of Optimal Power Flow Problem Including Renewable Energy Resources Using HEAP Optimization Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 35846-35863, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Ahmed Rabie Ginidi, Abdallah M. Elsayed, Abdullah Mohammed Shaheen, Ehab E. Elattar, Ragab A. El-Sehiemy |
A Novel Heap-Based Optimizer for Scheduling of Large-Scale Combined Heat and Power Economic Dispatch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 83695-83708, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Salah K. Elsayed, Salah Kamel, Ali Selim, Mahrous Ahmed |
An Improved Heap-Based Optimizer for Optimal Reactive Power Dispatch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 58319-58336, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Myung-Hoon Cha, Sangmin Lee 0003, Baik-Song An, Hong-Yeon Kim, Kang-Ho Kim |
Fast and secure Global-Heap for memory-centric computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 77(11), pp. 13262-13291, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Johannes Bouché, Lukas Atkinson, Martin Kappes |
ShadowHeap: Memory Safety through Efficient Heap Metadata Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. ![In: J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 12(4), pp. 4-21, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Sahil Verma, Subhajit Roy 0001 |
Debug-localize-repair: a symbiotic construction for heap manipulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 58(3), pp. 399-439, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Emanuel Q. Vintila, Philipp Zieris, Julian Horsch |
MESH: A Memory-Efficient Safe Heap for C/C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.08683, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Zafer Esen, Philipp Rümmer |
A Theory of Heap for Constrained Horn Clauses (Extended Technical Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.04224, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Artyom M. Grigoryan |
Effective Methods of QR-Decompositions of Square Complex Matrices by Fast Discrete Signal-Induced Heap Transforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.04089, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Dominic Jud, Simon Kerscher, Martin Wermelinger, Edo Jelavic, Pascal Egli, Philipp Leemann, Gabriel Hottiger, Marco Hutter 0001 |
HEAP - The autonomous walking excavator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.05059, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Fan Yin, Rongxing Lu, Yandong Zheng, Jun Shao 0001, Xue Yang 0003, Xiaohu Tang |
Achieve Efficient Position-Heap-based Privacy-Preserving Substring-of-Keyword Query over Cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.08455, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Moshe Y. Vardi |
The sand-heap paradox of privacy and influence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 64(9), pp. 5, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 1573 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|