Search results for "Datastructures"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
93	Andrei Voronkov	Algorithms, Datastructures, and other Issues in Efficient Automated Deduction.	IJCAR	2001	DBLP DOI BibTeX RDF
61	Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi 0001	UPPAAL Implementation Secrets.	FTRTFT	2002	DBLP DOI BibTeX RDF
51	Ulf Lorenz	Controlled Conspiracy-2 Search.	STACS	2000	DBLP DOI BibTeX RDF	algorithms and datastructures
41	John A. Ruf	A Note Introducing Syntax Through Semantic Routines.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF
41	Neil W. Rickert	Recursion vs. non-Recursion in Pascal; a rejoinder.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	Pascal
31	Ralf Hinze, Wouter Swierstra	Calculating Datastructures.	MPC	2022	DBLP DOI BibTeX RDF
31	Prateek Chanda, Malay Bhattacharya	Distributed Anomaly Detection in Edge Streams using Frequency based Sketch Datastructures.	CoRR	2021	DBLP BibTeX RDF
31	Swapnil Haria, Mark D. Hill, Michael M. Swift	MOD: Minimally Ordered Durable Datastructures for Persistent Memory.	ASPLOS	2020	DBLP DOI BibTeX RDF
31	Umang Mathur 0001, Adithya Murali, Paul Krogmeier, P. Madhusudan, Mahesh Viswanathan 0001	Deciding Memory Safety for Forest Datastructures.	CoRR	2019	DBLP BibTeX RDF
31	Swapnil Haria, Mark D. Hill, Michael M. Swift	MOD: Minimally Ordered Durable Datastructures for Persistent Memory.	CoRR	2019	DBLP BibTeX RDF
31	Shubham Jain, Swagath Venkataramani, Vijayalakshmi Srinivasan, Jungwook Choi, Kailash Gopalakrishnan, Leland Chang	BiScaled-DNN: Quantizing Long-tailed Datastructures with Two Scale Factors for Deep Neural Networks.	DAC	2019	DBLP DOI BibTeX RDF
31	Simon Dirmeier	datastructures: An R package for organisation and storage of data.	J. Open Source Softw.	2018	DBLP DOI BibTeX RDF
31	Boudewijn F. van Dongen	Efficiently Computing Alignments - Algorithm and Datastructures.	Business Process Management Workshops	2018	DBLP DOI BibTeX RDF
31	Alberto Policriti, Nicola Prezza	Hashing and Indexing: Succinct DataStructures and Smoothed Analysis.	ISAAC	2014	DBLP DOI BibTeX RDF
31	Tomas Toft	A Secure Priority Queue; Or: On Secure Datastructures from Multiparty Computation.	ICISC	2013	DBLP DOI BibTeX RDF
31	Tomas Toft	Secure Datastructures based on Multiparty Computation.	IACR Cryptol. ePrint Arch.	2011	DBLP BibTeX RDF
31	Jonathan P. Sorenson	Sieving for Pseudosquares and Pseudocubes in Parallel Using Doubly-Focused Enumeration and Wheel Datastructures.	ANTS	2010	DBLP DOI BibTeX RDF
31	Maristella Agosti, Nicola Ferro 0001, Gianmaria Silvello	The NESTOR Framework: Manage, Access and Exchange Hierarchical DataStructures.	SEBD	2010	DBLP BibTeX RDF
31	Ingo Schiller, Reinhard Koch	Datastructures for Capturing Dynamic Scenes with a Time-of-Flight Camera.	Dyn3D	2009	DBLP DOI BibTeX RDF
31	Peeter Ellervee, Miguel Miranda, Francky Catthoor, Ahmed Hemani	System-level data-format exploration for dynamically allocated datastructures.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
31	Harry Buhrman, Matthew K. Franklin, Juan A. Garay, Jaap-Henk Hoepman, John Tromp, Paul M. B. Vitányi	Mutual Search.	J. ACM	1999	DBLP DOI BibTeX RDF	coalition forming, datastructures, mutual search, computational complexity, distributed computation, computer networks, discrete algorithms
31	Welf Löwe, Rainer Neumann, Martin Trapp 0002, Wolf Zimmermann	Robust Dynamic Exchange of Implementation Aspects.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	Implementation Exchange, Library Construction, Datastructures, Robustness
20	Asia Slowinska, Traian Stancescu, Herbert Bos	DDE: dynamic data structure excavation.	ApSys	2010	DBLP DOI BibTeX RDF	detecting data structures, dynamic analysis, binary
20	James H. Paterson, John Haddow, Miriam Birch, Alex Monaghan	Using the BlueJ IDE in a data structures course.	ITiCSE	2005	DBLP DOI BibTeX RDF	java, data structures, teaching
20	Matias Madou, Bertrand Anckaert, Bjorn De Sutter, Koen De Bosschere	Hybrid static-dynamic attacks against software protection mechanisms.	Digital Rights Management Workshop	2005	DBLP DOI BibTeX RDF	watermarking, attacks, intellectual property, obfuscation, software protection, tamper-resistance
20	Peter Fankhauser	Beyond Webservices - Conceptual Modelling for Service Oriented Architectures.	ER	2004	DBLP DOI BibTeX RDF
20	Andreas Eberhart	Ad-hoc Invocation of Semantic Web Services.	ICWS	2004	DBLP DOI BibTeX RDF
20	Luciano Bononi, Gabriele D'Angelo, Lorenzo Donatiello	HLA-based Adaptive Distributed Simulation of Wireless Mobile Systems.	PADS	2003	DBLP DOI BibTeX RDF
20	Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe	Practical Aspects for a Working Compile Time Garbage Collection System for Mercury.	ICLP	2001	DBLP DOI BibTeX RDF
20	Michael P. Fourman	Propositional Reasoning.	TACAS	2001	DBLP DOI BibTeX RDF
20	Jonathan C. Martin, Michael Leuschel	Sonic Partial Deduction.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
20	John Harrison 0001	Binary Decision Diagrams as a HOL Derived Rule.	TPHOLs	1994	DBLP DOI BibTeX RDF
20	F. Theeuwen	Logic optimization on a concurrent processing computer.	EURO-DAC	1990	DBLP DOI BibTeX RDF
20	A. C. Norman	A Critical-Pair/Completion Based Integration Algorithm.	ISSAC	1990	DBLP DOI BibTeX RDF	REDUCE