Search results for "heap"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
31	Holger Siegel	Numeric Inference of Heap Shapes for the Automated Analysis of Heap-Allocating Programs.		2016	RDF
31	Guillaume Bouffard, Michael Lackner, Jean-Louis Lanet, Johannes Loinig	Heap ... Hop! Heap Is Also Vulnerable.	CARDIS	2014	DBLP DOI BibTeX RDF
31	S. Sumathi, A. M. Prasad, V. Suma 0001	Optimized Heap Sort Technique (OHS) to Enhance the Performance of the Heap Sort by Using Two-Swap Method.	FICTA (1)	2014	DBLP DOI BibTeX RDF
31	Pei-Chen Yeh, Hahn-Ming Lee, Hsiao-Rong Tyan, Kuo-Ping Wu	Heap Spraying Revelation: Heap-spraying Detection based on Minimal Length Sequence and Argument Analysis.	ICS	2014	DBLP DOI BibTeX RDF
31	Weifeng Liu 0002, Brian Vinter	ad-heap: an Efficient Heap Data Structure for Asymmetric Multicore Processors.	GPGPU@ASPLOS	2014	DBLP BibTeX RDF
31	Longming Dong, Ji Wang 0001, Liqian Chen	Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs.	APSEC	2012	DBLP DOI BibTeX RDF
31	Longming Dong, Ji Wang 0001, Liqian Chen	Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs.	QSIC	2012	DBLP DOI BibTeX RDF
31	Alka Bhushan, Sajith Gopalan	External Memory Soft Heap, and Hard Heap, a Meldable Priority Queue.	COCOON	2012	DBLP DOI BibTeX RDF
31	Amr Elmasry	The Violation Heap: a Relaxed Fibonacci-like Heap.	Discret. Math. Algorithms Appl.	2010	DBLP DOI BibTeX RDF
31	Amr Elmasry	The Violation Heap: A Relaxed Fibonacci-Like Heap.	COCOON	2010	DBLP DOI BibTeX RDF
31	Yu Ding, Tao Wei, Tielei Wang, Zhenkai Liang, Wei Zou	Heap Taichi: exploiting memory allocation granularity in heap-spraying attacks.	ACSAC	2010	DBLP DOI BibTeX RDF
31	Shivi Shekhar Bansal, S. Sreekanth, Phalguni Gupta	M-Heap: A Modified Heap Data Structure.	Int. J. Found. Comput. Sci.	2003	DBLP DOI BibTeX RDF
31	Michael L. Fredman, Robert Sedgewick, Daniel Dominic Sleator, Robert Endre Tarjan	The Pairing Heap: A New Form of Self-Adjusting Heap.	Algorithmica	1986	DBLP DOI BibTeX RDF
30	Xue Yan, Yuke Li, Meng Ming, Heap-Yih Chong	Impact of Nonstandard Default Risk of the Urban Investment and Development Companies on the Urban Investment Bond Market.	Syst.	2023	DBLP DOI BibTeX RDF
30	Conor Rosato, Robert E. Moore, Matthew Carter, John Heap, John Harris, Jose Storopoli, Simon Maskell	Extracting Self-Reported COVID-19 Symptom Tweets and Twitter Movement Mobility Origin/Destination Matrices to Inform Disease Models.	Inf.	2023	DBLP DOI BibTeX RDF
30	Nan Zhao, Heap-Yih Chong, Qian Li 0008	Agent-based modelling of helping behaviour diffusion in project teams as an evolutionary process.	J. Simulation	2023	DBLP DOI BibTeX RDF
30	Thomas Heap, Gavin Leech, Laurence Aitchison	Massively Parallel Reweighted Wake-Sleep.	CoRR	2023	DBLP DOI BibTeX RDF
30	Thomas Heap, Gavin Leech, Laurence Aitchison	Massively parallel reweighted wake-sleep.	UAI	2023	DBLP BibTeX RDF
30	Mengyuan Cheng, Heap-Yih Chong	Understanding the Determinants of Blockchain Adoption in the Engineering-Construction Industry: Multi-Stakeholders' Analyses.	IEEE Access	2022	DBLP DOI BibTeX RDF
30	William E. Heap, Chris T. Keeley, Elvy B. Yao, Nicholas D. Naclerio, Elliot W. Hawkes	Miniature, Lightweight, High-Force, Capstan Winch for Mobile Robots.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
30	Shaun P. Hargreaves Heap, Mehmet S. Ismail	Liberalism, rationality, and Pareto optimality.	CoRR	2021	DBLP BibTeX RDF
30	William E. Heap, Nicholas D. Naclerio, Margaret M. Coad, Sang-Goo Jeong, Elliot W. Hawkes	Soft Retraction Device and Internal Camera Mount for Everting Vine Robots.	IROS	2021	DBLP DOI BibTeX RDF
30	Shaun P. Hargreaves Heap, Kei Tsutsui, Daniel John Zizzo	Vote and voice: an experiment on the effects of inclusive governance rules.	Soc. Choice Welf.	2020	DBLP DOI BibTeX RDF
30	Aaron Heap, Natalie LaCourt	Space-Efficient Prime Knot 7-Mosaics.	Symmetry	2020	DBLP DOI BibTeX RDF
30	Emily Kogan, Kathryn Twyman, Jesse Heap, Dejan Milentijevic, Jennifer H. Lin, Mark Alberts	Assessing stroke severity using electronic health record data: a machine learning approach.	BMC Medical Informatics Decis. Mak.	2020	DBLP DOI BibTeX RDF
30	Qian Li 0008, Sha Tao, Heap-Yih Chong, Zhijie Sasha Dong	Robust Optimization for Integrated Construction Scheduling and Multiscale Resource Allocation.	Complex.	2018	DBLP DOI BibTeX RDF
30	Alfred Krzywicki, Wayne Wobcke, Michael Bain 0001, Susanne Schmeidl, Bradford Heap	A Knowledge Acquisition Method for Event Extraction and Coding Based on Deep Patterns.	PKAW	2018	DBLP DOI BibTeX RDF
30	Gavin Katz, Bradford Heap, Wayne Wobcke, Michael Bain 0001, Sandeepa Kannangara	Analysing TV Audience Engagement via Twitter: Incremental Segment-Level Opinion Mining of Second Screen Tweets.	PRICAI	2018	DBLP DOI BibTeX RDF
30	Ben Stephenson, Michelle Craig, Daniel Zingaro, Diane Horton, Danny Heap, Elaine Huynh	Exam Wrappers: Not a Silver Bullet.	WCCCE	2018	DBLP DOI BibTeX RDF
30	Alfred Krzywicki, Bradford Heap, Michael Bain 0001, Wayne Wobcke, Susanne Schmeidl	Using Word Embeddings with Linear Models for Short Text Classification.	Australasian Conference on Artificial Intelligence	2018	DBLP DOI BibTeX RDF
30	Wenchi Shou, Jun Wang 0055, Peng Wu 0011, Xiangyu Wang 0001, Heap-Yih Chong	A cross-sector review on the use of value stream mapping.	Int. J. Prod. Res.	2017	DBLP DOI BibTeX RDF
30	Bradford Heap, Michael Bain 0001, Wayne Wobcke, Alfred Krzywicki, Susanne Schmeidl	Word Vector Enrichment of Low Frequency Words in the Bag-of-Words Model for Short Text Multi-class Classification Problems.	CoRR	2017	DBLP BibTeX RDF
30	Okhaide Akhigbe, Susie Heap, Daniel Amyot, Gregory Richards 0001	Exploiting IBM Watson Analytics to Visualize and Analyze Data from Goal-Based Conceptual Models.	ER Forum/Demos	2017	DBLP BibTeX RDF
30	Okhaide Akhigbe, Susie Heap, Sakib Islam, Daniel Amyot, John Mylopoulos	Goal-Oriented Regulatory Intelligence: How Can Watson Analytics Help?	ER	2017	DBLP DOI BibTeX RDF
30	Ben Stephenson, Michelle Craig, Daniel Zingaro, Diane Horton, Danny Heap, Elaine Huynh	Exam Wrappers: Not a Silver Bullet.	SIGCSE	2017	DBLP DOI BibTeX RDF
30	Bradford Heap, Alfred Krzywicki, Susanne Schmeidl, Wayne Wobcke, Michael Bain 0001	A Joint Human/Machine Process for Coding Events and Conflict Drivers.	ADMA	2017	DBLP DOI BibTeX RDF
30	Sara R. Heap, Alexander S. Szalay, Wfirst Science Archive Team	The WFIRST Science Archive and Analysis Center.	Astroinformatics	2016	DBLP DOI BibTeX RDF
30	Michelle Craig, Diane Horton, Daniel Zingaro, Danny Heap	Introducing and Evaluating Exam Wrappers in CS2.	SIGCSE	2016	DBLP DOI BibTeX RDF
30	Jun Wang 0055, Weizhuo Sun, Wenchi Shou, Xiangyu Wang 0001, Changzhi Wu, Heap-Yih Chong, Yan Liu 0026, Cenfei Sun	Integrating BIM and LiDAR for Real-Time Construction Quality Control.	J. Intell. Robotic Syst.	2015	DBLP DOI BibTeX RDF
30	Ryan C. Heap, Ammon I. Hepworth, C. Greg Jensen	Real-Time Visualization of Finite Element Models Using Surrogate Modeling Methods.	J. Comput. Inf. Sci. Eng.	2015	DBLP DOI BibTeX RDF
30	Victoria Holt, Magnus Ramage, Karen Kear, Nick W. Heap	The usage of best practices and procedures in the database community.	Inf. Syst.	2015	DBLP DOI BibTeX RDF
30	Jin Li 0015, Andrew D. Heap	Spatial interpolation methods applied in the environmental sciences: A review.	Environ. Model. Softw.	2014	DBLP DOI BibTeX RDF
30	Jun Wang 0055, Heap-Yih Chong, Wenchi Shou, Xiangyu Wang 0001, Jun Guo	BIM-Enabled Design Collaboration for Complex Building.	CDVE	2014	DBLP DOI BibTeX RDF
30	Heap-Yih Chong, Jun Wang 0055, Wenchi Shou, Xiangyu Wang 0001, Jun Guo	Improving Quality and Performance of Facility Management Using Building Information Modelling.	CDVE	2014	DBLP DOI BibTeX RDF
30	Jun Wang 0055, Lei Hou 0007, Heap-Yih Chong, Xin Liu 0008, Xiangyu Wang 0001, Jun Guo	A Cooperative System of GIS and BIM for Traffic Planning: A High-Rise Building Case Study.	CDVE	2014	DBLP DOI BibTeX RDF
30	Bradford Heap, Alfred Krzywicki, Wayne Wobcke, Michael Bain 0001, Paul Compton	Combining Career Progression and Profile Matching in a Job Recommender System.	PRICAI	2014	DBLP DOI BibTeX RDF
30	Bradford Heap, Maurice Pagnucco	Minimising Undesired Task Costs in Multi-Robot Task Allocation Problems with In-Schedule Dependencies.	AAAI	2014	DBLP DOI BibTeX RDF
30	Bradford Heap	Sequential Single-Cluster Auctions for Multi-Robot Task Allocation.		2014	RDF
30	Bradford Heap, Maurice Pagnucco	Repeated Auctions for Reallocation of Tasks with Pickup and Delivery upon Robot Failure.	PRIMA	2013	DBLP DOI BibTeX RDF
30	Bradford Heap, Maurice Pagnucco	Repeated Sequential Single-Cluster Auctions with Dynamic Tasks for Multi-Robot Task Allocation with Pickup and Delivery.	MATES	2013	DBLP DOI BibTeX RDF
30	Bradford Heap	Sequential Single-Cluster Auctions.	MATES	2013	DBLP DOI BibTeX RDF
30	Thomas Mitchell 0001, Sebastian Madgwick, Imogen Heap	Musical Interaction with Hand Posture and Orientation: A Toolbox of Gestural Control Mechanisms.	NIME	2012	DBLP DOI BibTeX RDF
30	Bradford Gregory John Heap, Maurice Pagnucco	Repeated Sequential Auctions with Dynamic Task Clusters.	AAAI	2012	DBLP DOI BibTeX RDF
30	Bradford Heap, Maurice Pagnucco	Analysis of Cluster Formation Techniques for Multi-robot Task Allocation Using Sequential Single-Cluster Auctions.	Australasian Conference on Artificial Intelligence	2012	DBLP DOI BibTeX RDF
30	Tania Patricia Heap	An investigation into the blogging practices of academics and researchers.		2012	RDF
30	Heap-Yih Chong, Balakrishnan Balamuralithara, Siong Choy Chong	Construction contract administration in Malaysia using DFD: a conceptual model.	Ind. Manag. Data Syst.	2011	DBLP DOI BibTeX RDF
30	Jin Li 0015, Andrew D. Heap	A review of comparative studies of spatial interpolation methods in environmental sciences: Performance and impact factors.	Ecol. Informatics	2011	DBLP DOI BibTeX RDF
30	Jin Li 0015, Andrew D. Heap, Anna Potter, James Daniell	Application of machine learning methods to spatial interpolation of environmental variables.	Environ. Model. Softw.	2011	DBLP DOI BibTeX RDF
30	Heap-Yih Chong, Rosli Mohamad Zin	Transforming of Construction Contract Administration: Data Warehouse Modeling.	ITNG	2011	DBLP DOI BibTeX RDF
30	Thomas Mitchell 0001, Imogen Heap	SoundGrasp: A Gestural Interface for the Performance of Live Music.	NIME	2011	DBLP DOI BibTeX RDF
30	Bradford Heap, Maurice Pagnucco	Sequential Single-Cluster Auctions for Robot Task Allocation.	Australasian Conference on Artificial Intelligence	2011	DBLP DOI BibTeX RDF
30	Marshall J. Heap, Alastair Culham	Automated Pre-processing Strategies for Species Occurrence Data Used in Biodiversity Modelling.	KES (4)	2010	DBLP DOI BibTeX RDF
30	Andrea Capiluppi, Andres Baravalle, Nick W. Heap	Engaging without Over-Powering: A Case Study of a FLOSS Project. (PDF / PS)	OSS	2010	DBLP DOI BibTeX RDF
30	Linda M. Gallant, Gloria M. Boone, Austin Heap	Five heuristics for designing and evaluating Web-based communities.	First Monday	2007	DBLP DOI BibTeX RDF
30	Karen Kear, Nick W. Heap	'Sorting the wheat from the chaff': investigating overload in educational discussion systems.	J. Comput. Assist. Learn.	2007	DBLP DOI BibTeX RDF
30	Janet Macdonald, Nick W. Heap, Robin Mason	"Have I learnt it?" Evaluating skills for resource-based study using electronic resources.	Br. J. Educ. Technol.	2001	DBLP DOI BibTeX RDF
30	Tony Heap, David C. Hogg	Wormholes in Shape Space: Tracking Through Discontinuous Changes in Shape.	ICCV	1998	DBLP DOI BibTeX RDF
30	Tony Heap, David C. Hogg	Improving Specificity in PDMs using a Hierarchical Approach.	BMVC	1997	DBLP BibTeX RDF
30	Anthony James Heap	Learning deformable shape models for object tracking.		1997	RDF
30	Tony Heap, David C. Hogg	Extending the Point Distribution Model using polar coordinates.	Image Vis. Comput.	1996	DBLP DOI BibTeX RDF
30	Richard Bowden, Tony Heap, David C. Hogg	Real Time Hand Tracking and Gesture Recognition as a 3D Input Device for Graphical Applications.	Gesture Workshop	1996	DBLP DOI BibTeX RDF
30	Tony Heap, David C. Hogg	3D Deformable Hand Models.	Gesture Workshop	1996	DBLP DOI BibTeX RDF
30	Tony Heap, David C. Hogg	Towards 3D hand tracking using a deformable model.	FG	1996	DBLP DOI BibTeX RDF	3D hand tracking, weighted least-squares pose parameter, tracking, deformable model, computational cost, Point Distribution Model, training data, human hand
30	Tony Heap, David C. Hogg	Extending the Point Distribution Model Using Polar Coordinates.	CAIP	1995	DBLP DOI BibTeX RDF
30	Tony Heap, David C. Hogg	Automated Pivot Location for the Cartesian-Polar Hybrid Point Distribution Model.	BMVC	1995	DBLP DOI BibTeX RDF
30	Mark A. Heap, M. Ray Mercer	Least Upper Bounds an OBDD Sizes.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	least upper bounds, OBDD sizes, exact equations, nonterminal vertexes, reduced ordered binary decision diagrams, Boolean functions, decoding
30	John H. Esling, Lynn Marie Heap, Roy C. Snell, B. Craig Dickson	Analysis of pitch dependence of pharyngeal, faucal, and larynx-height voice quality settings.	ICSLP	1994	DBLP DOI BibTeX RDF
30	Mark A. Heap	On the exact ordered binary decision diagram size of totally symmetric functions.	J. Electron. Test.	1993	DBLP DOI BibTeX RDF	switching function representation, totally symmetric functions, Ordered binary decision diagrams
30	Ben Booth, Christine J. Heap	High Resolution Digital Image Storage at the National Railway Museum, York.	ICHIM	1993	DBLP BibTeX RDF
30	Mark A. Heap, William A. Rogers, M. Ray Mercer	A Synthesis Algorithm for Two-Level XOR Based Circuits.	ICCD	1992	DBLP DOI BibTeX RDF
30	Mark A. Heap, William A. Rogers, William B. Burns	STarS: a target switching algorithm for sequential test generation.	VTS	1991	DBLP DOI BibTeX RDF
30	Mark A. Heap, William A. Rogers	Generating Single-Stuck-Fault Coverage from a Collapsed-Fault Set.	Computer	1989	DBLP DOI BibTeX RDF
30	J. P. Johnson, J. M. Heap	Designing an X.25 network-to-host interface.	Comput. Commun.	1978	DBLP DOI BibTeX RDF
30	B. R. Heap	Permutations by Interchanges.	Comput. J.	1963	DBLP DOI BibTeX RDF
24	Katherine Barabash, Erez Petrank	Tracing garbage collection on highly parallel platforms.	ISMM	2010	DBLP DOI BibTeX RDF	garbage collection, memory management, runtime systems, parallel garbage collection
24	Maria Jump, Kathryn S. McKinley	Dynamic shape analysis via degree metrics.	ISMM	2009	DBLP DOI BibTeX RDF	degree metrics, dynamic invariants, dynamic shape analysis
24	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla	Field-Sensitive Value Analysis by Field-Insensitive Analysis.	FM	2009	DBLP DOI BibTeX RDF
24	Ben L. Titzer, Jens Palsberg	Vertical Object Layout and Compression for Fixed Heaps.	Semantics and Algebraic Specification	2009	DBLP DOI BibTeX RDF
24	Gang Tan, Zhong Shao, Xinyu Feng 0001, Hongxu Cai	Weak updates and separation logic.	APLAS	2009	DBLP DOI BibTeX RDF
24	Amr Elmasry, Claus Jensen, Jyrki Katajainen	Two-tier relaxed heaps.	Acta Informatica	2008	DBLP DOI BibTeX RDF
24	Xiao-Feng Li, Ligang Wang 0001, Chen Yang	A Fully Parallel LISP2 Compactor with Preservation of the Sliding Properties.	LCPC	2008	DBLP DOI BibTeX RDF	compactor, parallelization, Garbage collector
24	Satish Chandra 0001, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík	Type inference for locality analysis of distributed data structures.	PPoPP	2008	DBLP DOI BibTeX RDF	equality-based constraint system, type inference, unification, x10, partitioned global address space
24	Dries Buytaert, Kris Venstermans, Lieven Eeckhout, Koen De Bosschere	GCH: Hints for Triggering Garbage Collections.	Trans. High Perform. Embed. Archit. Compil.	2007	DBLP DOI BibTeX RDF
24	Xiao-Dong Wang, Ying-Jie Wu	An Improved HEAPSORT Algorithm with n log n - 0.788928 n Comparisons in the Worst Case.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	HEAPSORT, data structures, analysis of algorithms, heaps
24	Thomas Kotzmann, Hanspeter Mössenböck	Run-Time Support for Optimizations Based on Escape Analysis.	CGO	2007	DBLP DOI BibTeX RDF
24	Chris Hawblitzel, Heng Huang, Lea Wittie, Juan Chen	A garbage-collecting typed assembly language.	TLDI	2007	DBLP DOI BibTeX RDF	garbage collection, typed assembly language
24	Gogul Balakrishnan, Thomas W. Reps	DIVINE: DIscovering Variables IN Executables.	VMCAI	2007	DBLP DOI BibTeX RDF
24	Xianghua Deng, Robby, John Hatcliff	Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs.	SEFM	2007	DBLP DOI BibTeX RDF
24	Haim Kermany, Erez Petrank	The Compressor: concurrent, incremental, and parallel compaction.	PLDI	2006	DBLP DOI BibTeX RDF	garbage collection, memory management, compaction, runtime systems, concurrent garbage collection
24	Bernhard Reus, Jan Schwinghammer	Separation Logic for Higher-Order Store.	CSL	2006	DBLP DOI BibTeX RDF