Search results for "destructor"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
53	Ola Olsson, Angela Wallenburg	Customised Induction Rules for Proving Correctness of Imperative Programs.	SEFM	2005	DBLP DOI BibTeX RDF
36	Hans-Juergen Boehm	Destructors, finalizers, and synchronization.	POPL	2003	DBLP DOI BibTeX RDF	destructor, synchronization, garbage collection, deadlock, thread, finalization
32	Zina-Sabrina Duma, Tomás Zemcík, Simon Bilik, Tuomas Sihvonen, Peter Honec, Satu-Pia Reinikainen, Karel Horák 0001	Varroa destructor detection on honey bees using hyperspectral imagery.	CoRR	2024	DBLP DOI BibTeX RDF
32	Christian I. Narcia-Macias, Joselito Guardado, Jocell Rodriguez, Joanne Rampersad-Ammons, Erik Enriquez, Dong-Chul Kim	IntelliBeeHive: An Automated Honey Bee, Pollen, and Varroa Destructor Monitoring System.	CoRR	2023	DBLP DOI BibTeX RDF
32	Alicia Noriega-Escamilla, César Camacho-Bello, Rosa María Ortega-Mendoza, José Humbérto Arroyo-Núñez, Lucia Gutiérrez-Lazcano	Varroa Destructor Classification Using Legendre-Fourier Moments with Different Color Spaces.	J. Imaging	2023	DBLP DOI BibTeX RDF
32	Anna Wachowicz, Jakub Pytlik, Bozena Malysiak-Mrozek, Krzysztof Tokarz, Dariusz Mrozek	Edge Computing in IoT-Enabled Honeybee Monitoring for the Detection of Varroa Destructor.	Int. J. Appl. Math. Comput. Sci.	2022	DBLP DOI BibTeX RDF
32	Simon Bilik, Lukas Kratochvila, Adam Ligocki, Ondrej Bostik, Tomás Zemcík, Matous Hybl, Karel Horák 0001, Ludek Zalud	Visual diagnosis of the Varroa destructor parasitic mite in honeybees using object detector techniques.	CoRR	2021	DBLP BibTeX RDF
32	Simon Bilik, Lukas Kratochvila, Adam Ligocki, Ondrej Bostik, Tomás Zemcík, Matous Hybl, Karel Horák 0001, Ludek Zalud	Visual Diagnosis of the Varroa Destructor Parasitic Mite in Honeybees Using Object Detector Techniques.	Sensors	2021	DBLP DOI BibTeX RDF
32	Yifan Wu, Haibo Liu, Xiaoqi Xu, Wei Jiang	Design of a Novel High-Power Density Negative Ion Virus Destructor for Confined Shipboard Space.	ICPS	2021	DBLP DOI BibTeX RDF
32	Andrzej Szczurek, Monika Maciejewska, Zaneta Zajiczek, Beata Bak, Jakub Wilk, Jerzy Wilde, Maciej Siuda	The Effectiveness of Varroa destructor Infestation Classification Using an E-Nose Depending on the Time of Day.	Sensors	2020	DBLP DOI BibTeX RDF
32	Andrzej Szczurek, Monika Maciejewska, Beata Bak, Jakub Wilk, Jerzy Wilde, Maciej Siuda	Classification of Honeybee Infestation by Varroa Destructor using Gas Sensor Array.	SENSORNETS	2020	DBLP DOI BibTeX RDF
32	Kim Bjerge, Carsten Eie Frigaard, Peter Høgh Mikkelsen, Thomas Holm Nielsen, Michael Misbih, Per Kryger	A computer vision system to monitor the infestation level of Varroa destructor in a honeybee colony.	Comput. Electron. Agric.	2019	DBLP DOI BibTeX RDF
32	Andrzej Szczurek, Monika Maciejewska, Beata Bak, Jerzy Wilde, Maciej Siuda	Semiconductor gas sensor as a detector of Varroa destructor infestation of honey bee colonies - Statistical evaluation.	Comput. Electron. Agric.	2019	DBLP DOI BibTeX RDF
32	Melvin Ramírez-Bogantes, Juan P. Prendas-Rojas, Geovanni Figueroa-Mata, Rafael A. Calderon, Oscar Salas-Huertas, Carlos M. Travieso	Cognitive Modeling of the Natural Behavior of the Varroa destructor Mite on Video.	Cogn. Comput.	2017	DBLP DOI BibTeX RDF
32	Lineo Mejaele, Elisha Oketch Ochola	Analysing the impact of black hole attack on DSR-based MANET: The hidden network destructor.	InfoSec	2015	DBLP DOI BibTeX RDF
32	Frank W. Grasso, Mathew H. Evans, Jennifer Basil, Tony J. Prescott	Toward a Fusion Model of Feature and Spatial Tactile Memory in the Crayfish Cherax Destructor.	Living Machines	2012	DBLP DOI BibTeX RDF
26	Hans-Juergen Boehm, Mike Spertus	Garbage collection in the next C++ standard.	ISMM	2009	DBLP DOI BibTeX RDF	C++, garbage collection
26	Stéphanie Delaune, Florent Jacquemard	A decision procedure for the verification of security protocols with explicit destructors.	CCS	2004	DBLP DOI BibTeX RDF	formal methods, security protocols, constraint solving
26	Stephen P. Carl	The treatment of deep vs. shallow copy in introductory C++ textbooks.	ACM SIGCSE Bull.	2003	DBLP DOI BibTeX RDF