|
|
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 |
31 | Holger Siegel |
Numeric Inference of Heap Shapes for the Automated Analysis of Heap-Allocating Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
31 | Guillaume Bouffard, Michael Lackner, Jean-Louis Lanet, Johannes Loinig |
Heap ... Hop! Heap Is Also Vulnerable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CARDIS ![In: Smart Card Research and Advanced Applications - 13th International Conference, CARDIS 2014, Paris, France, November 5-7, 2014. Revised Selected Papers, pp. 18-31, 2014, Springer, 978-3-319-16762-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICTA (1) ![In: Proceedings of the 3rd International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA) 2014 - Volume 1, Bhubaneswar, Odisa, India, 14-15 November 2014, pp. 693-700, 2014, Springer, 978-3-319-11932-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Intelligent Systems and Applications - Proceedings of the International Computer Symposium (ICS) held at Taichung, Taiwan, December 12-14, 2014, pp. 811-820, 2014, IOS Press, 978-1-61499-483-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Weifeng Liu 0002, Brian Vinter |
ad-heap: an Efficient Heap Data Structure for Asymmetric Multicore Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPGPU@ASPLOS ![In: Seventh Workshop on General Purpose Processing Using GPUs, GPGPU-7, Salt Lake City, UT, USA, March 1, 2014, pp. 54, 2014, ACM, 978-1-4503-2766-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
31 | Longming Dong, Ji Wang 0001, Liqian Chen |
Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012, pp. 20-29, 2012, IEEE, 978-0-7695-4922-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Longming Dong, Ji Wang 0001, Liqian Chen |
Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: 2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012, pp. 197-200, 2012, IEEE, 978-1-4673-2857-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Alka Bhushan, Sajith Gopalan |
External Memory Soft Heap, and Hard Heap, a Meldable Priority Queue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics - 18th Annual International Conference, COCOON 2012, Sydney, Australia, August 20-22, 2012. Proceedings, pp. 360-371, 2012, Springer, 978-3-642-32240-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Amr Elmasry |
The Violation Heap: a Relaxed Fibonacci-like Heap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. Algorithms Appl. ![In: Discret. Math. Algorithms Appl. 2(4), pp. 493-504, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Amr Elmasry |
The Violation Heap: A Relaxed Fibonacci-Like Heap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings, pp. 479-488, 2010, Springer, 978-3-642-14030-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: Twenty-Sixth Annual Computer Security Applications Conference, ACSAC 2010, Austin, Texas, USA, 6-10 December 2010, pp. 327-336, 2010, ACM, 978-1-4503-0133-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Shivi Shekhar Bansal, S. Sreekanth, Phalguni Gupta |
M-Heap: A Modified Heap Data Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 14(3), pp. 491-502, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 1(1), pp. 111-129, 1986. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. ![In: Syst. 11(2), pp. 68, February 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. ![In: Inf. 14(3), pp. 170, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Simulation ![In: J. Simulation 17(3), pp. 279-296, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Thomas Heap, Gavin Leech, Laurence Aitchison |
Massively Parallel Reweighted Wake-Sleep. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.11022, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Thomas Heap, Gavin Leech, Laurence Aitchison |
Massively parallel reweighted wake-sleep. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: Uncertainty in Artificial Intelligence, UAI 2023, July 31 - 4 August 2023, Pittsburgh, PA, USA., pp. 870-878, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
30 | Mengyuan Cheng, Heap-Yih Chong |
Understanding the Determinants of Blockchain Adoption in the Engineering-Construction Industry: Multi-Stakeholders' Analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 108307-108319, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 7(4), pp. 9880-9887, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Shaun P. Hargreaves Heap, Mehmet S. Ismail |
Liberalism, rationality, and Pareto optimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.10723, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021, pp. 4982-4988, 2021, IEEE, 978-1-6654-1714-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 54(1), pp. 111-139, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Aaron Heap, Natalie LaCourt |
Space-Efficient Prime Knot 7-Mosaics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 12(4), pp. 576, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Informatics Decis. Mak. ![In: BMC Medical Informatics Decis. Mak. 20(1), pp. 8, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex. ![In: Complex. 2018, pp. 2697985:1-2697985:17, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKAW ![In: Knowledge Management and Acquisition for Intelligent Systems - 15th Pacific Rim Knowledge Acquisition Workshop, PKAW 2018, Nanjing, China, August 28-29, 2018, Proceedings, pp. 16-31, 2018, Springer, 978-3-319-97288-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2018: Trends in Artificial Intelligence - 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28-31, 2018, Proceedings, Part II, pp. 300-308, 2018, Springer, 978-3-319-97309-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Ben Stephenson, Michelle Craig, Daniel Zingaro, Diane Horton, Danny Heap, Elaine Huynh |
Exam Wrappers: Not a Silver Bullet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCCCE ![In: WCCCE 2018: Western Canadian Conference on Computing Education, Victoria BC Canada, May, 2018, pp. 1:1, 2018, ACM, 978-1-4503-5805-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2018: Advances in Artificial Intelligence - 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings, pp. 819-827, 2018, Springer, 978-3-030-03990-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Prod. Res. ![In: Int. J. Prod. Res. 55(13), pp. 3906-3928, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1709.05778, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER Forum/Demos ![In: Proceedings of the ER Forum 2017 and the ER 2017 Demo Track co-located with the 36th International Conference on Conceptual Modelling (ER 2017), Valencia, Spain, - November 6-9, 2017., pp. 338-342, 2017, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
30 | Okhaide Akhigbe, Susie Heap, Sakib Islam, Daniel Amyot, John Mylopoulos |
Goal-Oriented Regulatory Intelligence: How Can Watson Analytics Help? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings, pp. 77-91, 2017, Springer, 978-3-319-69903-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Ben Stephenson, Michelle Craig, Daniel Zingaro, Diane Horton, Danny Heap, Elaine Huynh |
Exam Wrappers: Not a Silver Bullet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2017, Seattle, WA, USA, March 8-11, 2017, pp. 573-578, 2017, ACM, 978-1-4503-4698-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADMA ![In: Advanced Data Mining and Applications - 13th International Conference, ADMA 2017, Singapore, November 5-6, 2017, Proceedings, pp. 639-654, 2017, Springer, 978-3-319-69178-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Sara R. Heap, Alexander S. Szalay, Wfirst Science Archive Team |
The WFIRST Science Archive and Analysis Center. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Astroinformatics ![In: Astroinformatics 2016, Sorrento, Italy, October 19-25, 2016, pp. 373-378, 2016, Cambridge University Press. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Michelle Craig, Diane Horton, Daniel Zingaro, Danny Heap |
Introducing and Evaluating Exam Wrappers in CS2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 47th ACM Technical Symposium on Computing Science Education, SIGCSE 2016, Memphis, TN, USA, March 02 - 05, 2016, pp. 285-290, 2016, ACM, 978-1-4503-3685-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 79(3-4), pp. 417-432, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Inf. Sci. Eng. ![In: J. Comput. Inf. Sci. Eng. 15(1), 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 49, pp. 163-181, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Jin Li 0015, Andrew D. Heap |
Spatial interpolation methods applied in the environmental sciences: A review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Environ. Model. Softw. ![In: Environ. Model. Softw. 53, pp. 173-189, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDVE ![In: Cooperative Design, Visualization, and Engineering - 11th International Conference, CDVE 2014, Seattle, WA, USA, September 14-17, 2014. Proceedings, pp. 238-244, 2014, Springer, 978-3-319-10830-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDVE ![In: Cooperative Design, Visualization, and Engineering - 11th International Conference, CDVE 2014, Seattle, WA, USA, September 14-17, 2014. Proceedings, pp. 44-50, 2014, Springer, 978-3-319-10830-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDVE ![In: Cooperative Design, Visualization, and Engineering - 11th International Conference, CDVE 2014, Seattle, WA, USA, September 14-17, 2014. Proceedings, pp. 143-150, 2014, Springer, 978-3-319-10830-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI ![In: PRICAI 2014: Trends in Artificial Intelligence - 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings, pp. 396-408, 2014, Springer, 978-3-319-13559-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Bradford Heap, Maurice Pagnucco |
Minimising Undesired Task Costs in Multi-Robot Task Allocation Problems with In-Schedule Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada., pp. 2542-2548, 2014, AAAI Press, 978-1-57735-661-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Bradford Heap |
Sequential Single-Cluster Auctions for Multi-Robot Task Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
30 | Bradford Heap, Maurice Pagnucco |
Repeated Auctions for Reallocation of Tasks with Pickup and Delivery upon Robot Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: PRIMA 2013: Principles and Practice of Multi-Agent Systems - 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings, pp. 461-469, 2013, Springer, 978-3-642-44926-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies - 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings, pp. 87-100, 2013, Springer, 978-3-642-40775-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Bradford Heap |
Sequential Single-Cluster Auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies - 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings, pp. 408-411, 2013, Springer, 978-3-642-40775-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIME ![In: 12th International Conference on New Interfaces for Musical Expression, NIME 2012, Ann Arbor, Michigan, USA, May 21-23, 2012, 2012, nime.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Bradford Gregory John Heap, Maurice Pagnucco |
Repeated Sequential Auctions with Dynamic Task Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada., pp. 1997-2002, 2012, AAAI Press. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings, pp. 839-850, 2012, Springer, 978-3-642-35100-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Tania Patricia Heap |
An investigation into the blogging practices of academics and researchers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
30 | Heap-Yih Chong, Balakrishnan Balamuralithara, Siong Choy Chong |
Construction contract administration in Malaysia using DFD: a conceptual model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ind. Manag. Data Syst. ![In: Ind. Manag. Data Syst. 111(9), pp. 1449-1464, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ecol. Informatics ![In: Ecol. Informatics 6(3-4), pp. 228-241, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Environ. Model. Softw. ![In: Environ. Model. Softw. 26(12), pp. 1647-1659, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Heap-Yih Chong, Rosli Mohamad Zin |
Transforming of Construction Contract Administration: Data Warehouse Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Eighth International Conference on Information Technology: New Generations, ITNG 2011, Las Vegas, Nevada, USA, 11-13 April 2011, pp. 1086-1087, 2011, IEEE Computer Society, 978-0-7695-4367-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Thomas Mitchell 0001, Imogen Heap |
SoundGrasp: A Gestural Interface for the Performance of Live Music. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIME ![In: 11th International Conference on New Interfaces for Musical Expression, NIME 2011, Oslo, Norway, May 30 - June 1, 2011, pp. 465-468, 2011, nime.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Bradford Heap, Maurice Pagnucco |
Sequential Single-Cluster Auctions for Robot Task Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2011: Advances in Artificial Intelligence - 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings, pp. 412-421, 2011, Springer, 978-3-642-25831-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
30 | Marshall J. Heap, Alastair Culham |
Automated Pre-processing Strategies for Species Occurrence Data Used in Biodiversity Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (4) ![In: Knowledge-Based and Intelligent Information and Engineering Systems - 14th International Conference, KES 2010, Cardiff, UK, September 8-10, 2010, Proceedings, Part IV, pp. 517-526, 2010, Springer, 978-3-642-15383-9. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSS ![In: Open Source Software: New Horizons - 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 - June 2, 2010. Proceedings, pp. 29-41, 2010, Springer, 978-3-642-13243-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Linda M. Gallant, Gloria M. Boone, Austin Heap |
Five heuristics for designing and evaluating Web-based communities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
First Monday ![In: First Monday 12(SI-8), 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Karen Kear, Nick W. Heap |
'Sorting the wheat from the chaff': investigating overload in educational discussion systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Assist. Learn. ![In: J. Comput. Assist. Learn. 23(3), pp. 235-247, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Br. J. Educ. Technol. ![In: Br. J. Educ. Technol. 32(4), pp. 419-433, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Tony Heap, David C. Hogg |
Wormholes in Shape Space: Tracking Through Discontinuous Changes in Shape. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: Proceedings of the Sixth International Conference on Computer Vision (ICCV-98), Bombay, India, January 4-7, 1998, pp. 344-349, 1998, IEEE Computer Society, 81-7319-221-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Tony Heap, David C. Hogg |
Improving Specificity in PDMs using a Hierarchical Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMVC ![In: Proceedings of the British Machine Vision Conference 1997, BMVC 1997, University of Essex, UK, 1997, 1997, British Machine Vision Association, 0-952-18987-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
30 | Anthony James Heap |
Learning deformable shape models for object tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1997 |
RDF |
|
30 | Tony Heap, David C. Hogg |
Extending the Point Distribution Model using polar coordinates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Image Vis. Comput. ![In: Image Vis. Comput. 14(8), pp. 589-599, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gesture Workshop ![In: Progress in Gestural Interaction, Proceedings of Gesture Workshop '96, March 19th 1996, University of York, UK, pp. 117-129, 1996, Springer, 3-540-76094-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
30 | Tony Heap, David C. Hogg |
3D Deformable Hand Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Gesture Workshop ![In: Progress in Gestural Interaction, Proceedings of Gesture Workshop '96, March 19th 1996, University of York, UK, pp. 131-139, 1996, Springer, 3-540-76094-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
30 | Tony Heap, David C. Hogg |
Towards 3D hand tracking using a deformable model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FG ![In: 2nd International Conference on Automatic Face and Gesture Recognition (FG '96), October 14-16, 1996, Killington, Vermont, USA, pp. 140-145, 1996, IEEE Computer Society, 0-8186-7713-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 6th International Conference, CAIP'95, Prague, Czech Republic, September 6-8, 1995, Proceedings, pp. 130-137, 1995, Springer, 3-540-60268-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
30 | Tony Heap, David C. Hogg |
Automated Pivot Location for the Cartesian-Polar Hybrid Point Distribution Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMVC ![In: Proceedings of the British Machine Vision Conference, BMVC 1995, Birmingham, UK, September, 1995, pp. 1-10, 1995, BMVA Press, 0-9521898-2-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
30 | Mark A. Heap, M. Ray Mercer |
Least Upper Bounds an OBDD Sizes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(6), pp. 764-767, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSLP ![In: The 3rd International Conference on Spoken Language Processing, ICSLP 1994, Yokohama, Japan, September 18-22, 1994, pp. 1475-1478, 1994, ISCA. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
30 | Mark A. Heap |
On the exact ordered binary decision diagram size of totally symmetric functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 4(2), pp. 191-195, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICHIM ![In: Museums and Interactive Multimedia. Proceedings of the Sixth International Conference of the MDA and the Second International Conference on Hypermedia and Interactivity in Museums, ICHIM 1993. Cambridge, England, September 20-24, 1993., pp. 14-19, 1993, Archives & Museum Informatics, Pittsburgh, PA, USA. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
30 | Mark A. Heap, William A. Rogers, M. Ray Mercer |
A Synthesis Algorithm for Two-Level XOR Based Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computer & Processors, ICCD '92, Cambridge, MA, USA, October 11-14, 1992, pp. 459-463, 1992, IEEE Computer Society, 0-8186-3110-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
30 | Mark A. Heap, William A. Rogers, William B. Burns |
STarS: a target switching algorithm for sequential test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 9th IEEE VLSI Test Symposium (VTS'91), 15-17 Apr 1991, Atlantic City, NJ, USA, pp. 210-215, 1991, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
30 | Mark A. Heap, William A. Rogers |
Generating Single-Stuck-Fault Coverage from a Collapsed-Fault Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 22(4), pp. 51-57, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
30 | J. P. Johnson, J. M. Heap |
Designing an X.25 network-to-host interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. ![In: Comput. Commun. 1(1), pp. 13-18, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
30 | B. R. Heap |
Permutations by Interchanges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 6(3), pp. 293-298, 1963. The full citation details ...](Pics/full.jpeg) |
1963 |
DBLP DOI BibTeX RDF |
|
24 | Katherine Barabash, Erez Petrank |
Tracing garbage collection on highly parallel platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 9th International Symposium on Memory Management, ISMM 2010, Toronto, Ontario, Canada, June 5-6, 2010, pp. 1-10, 2010, ACM, 978-1-4503-0054-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 8th International Symposium on Memory Management, ISMM 2009, Dublin, Ireland, June 19-20, 2009, pp. 119-128, 2009, ACM, 978-1-60558-347-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 370-386, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Ben L. Titzer, Jens Palsberg |
Vertical Object Layout and Compression for Fixed Heaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 376-408, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Gang Tan, Zhong Shao, Xinyu Feng 0001, Hongxu Cai |
Weak updates and separation logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings, pp. 178-193, 2009, Springer, 978-3-642-10671-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Amr Elmasry, Claus Jensen, Jyrki Katajainen |
Two-tier relaxed heaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 45(3), pp. 193-210, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers, pp. 264-278, 2008, Springer, 978-3-540-89739-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2008, Salt Lake City, UT, USA, February 20-23, 2008, pp. 11-22, 2008, ACM, 978-1-59593-795-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. High Perform. Embed. Archit. Compil. ![In: Transactions on High-Performance Embedded Architectures and Compilers I, pp. 74-94, 2007, Springer, 978-3-540-71527-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 22(6), pp. 898-903, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Fifth International Symposium on Code Generation and Optimization (CGO 2007), 11-14 March 2007, San Jose, California, USA, pp. 49-60, 2007, IEEE Computer Society, 978-0-7695-2764-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Chris Hawblitzel, Heng Huang, Lea Wittie, Juan Chen |
A garbage-collecting typed assembly language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Nice, France, January 16, 2007, pp. 41-52, 2007, ACM, 1-59593-393-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
garbage collection, typed assembly language |
24 | Gogul Balakrishnan, Thomas W. Reps |
DIVINE: DIscovering Variables IN Executables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings, pp. 1-28, 2007, Springer, 978-3-540-69735-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 273-282, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Haim Kermany, Erez Petrank |
The Compressor: concurrent, incremental, and parallel compaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 354-363, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings, pp. 575-590, 2006, Springer, 3-540-45458-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 1573 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|