Search results for "iterator"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
134	David Alex Lamb	Specification of Iterators.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	trace specifications, common form, iterator module, Alphard-style iterators, sequence iterator, iterator construct, procedural parameters, formal specification, data structures, algebraic specification, high level languages, partial specifications
119	Andre Oboler, Charles Twardy, David W. Albrecht	Super Iterator A design pattern for Algorithm and Data structure collections.	ITNG	2007	DBLP DOI BibTeX RDF
110	Bruce W. Weide, Stephen H. Edwards, Douglas E. Harms, David Alex Lamb	Design and Specification of Iterators Using the Swapping Paradigm.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	swapping paradigm, common interface model, user defined iterator abstractions, modular correctness proofs, formal specification, formal specification, formal methods, program verification, program verification, iterators, iterator designs, swapping, proof of correctness, modular reasoning, data encapsulation, imperative languages
103	Nasser Giacaman, Oliver Sinnen, Lama Akeila	Object-Oriented Parallelisation: Improved and Extended Parallel Iterator.	ICPADS	2008	DBLP DOI BibTeX RDF
103	Uta Ziegler	Extending an iterator model for binary trees to backtracking problems.	SIGCSE	1998	DBLP DOI BibTeX RDF
62	Baoqiang Yan, Philip J. Rhodes	I/O friendly data parallelization for spatial computation.	Mardi Gras Conference	2008	DBLP DOI BibTeX RDF
62	Grégoire Lecerf	Quadratic Newton Iteration for Systems with Multiplicity.	Found. Comput. Math.	2002	DBLP DOI BibTeX RDF
57	Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie	Iterator Types.	FoSSaCS	2007	DBLP DOI BibTeX RDF
55	Andrew B. Hastings, Alok N. Choudhary	Exploiting Shared Memory to Improve Parallel I/O Performance.	PVM/MPI	2006	DBLP DOI BibTeX RDF	datatype iterator, non-contiguous access, shared memory, Parallel I/O, MPI-IO
55	Judy M. Bishop	The Effect of Data Abstraction on Loop Programming Techniques.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	loop programming techniques, loop algorithms, generic sorting routine, generic data types, software engineering, data structures, Ada, generators, abstract data types, iterator, data abstraction
46	Walter Dosch, Annette Stümpel, Tõnu Tamme	Streaming Dyadic Boolean Operations.	ITNG	2008	DBLP DOI BibTeX RDF
46	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
42	Seong-Man Choi, Cheol-Jung Yoo, Ok-Bae Chang	Development of Integrated DAO Pattern Applying Iterator Pattern.	ICCSA (4)	2006	DBLP DOI BibTeX RDF
39	Wijnand Schepens	A framework for complex time structures based on coupled lists.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	aligned lists, coupled lists, inspector, ordered timed sequence, parallel iteration, proceeder, sequence algorithm, framework, music, iterator, music notation
39	Prasun Dewan	Teaching inter-object design patterns to freshmen.	SIGCSE	2005	DBLP DOI BibTeX RDF	façade, composite, observer, iterator, MVC, interactor, factory
39	Dietmar Kühl	Generic Graph Algorithms.	Generic Programming	1998	DBLP DOI BibTeX RDF	data accessor, algorithm object, graph algorithm, iterator
39	Stuart A. Yeates, Michel De Champlain	Design Patterns in Garbage Collection.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	design patterns, reuse, garbage collection, flexible, portable, proxy, iterator
31	Olaf Hartig, Christian Bizer, Johann Christoph Freytag	Executing SPARQL Queries over the Web of Linked Data.	ISWC	2009	DBLP DOI BibTeX RDF
31	Jed Liu, Aaron Kimball, Andrew C. Myers	Interruptible iterators.	POPL	2006	DBLP DOI BibTeX RDF	JMatch, Java, logic programming, exception, coroutine
31	Philip J. Rhodes, Sridhar Ramakrishnan 0001	Iteration Aware Prefetching for Remote Data Access.	e-Science	2005	DBLP DOI BibTeX RDF
31	Krister Åhlander	Sorting Out the Relationships Between Pairs of Iterators, Values, and References.	GPCE	2005	DBLP DOI BibTeX RDF
31	Masahito Hasegawa, Yoshihiko Kakutani	Axioms for Recursion in Call-by-Value.	FoSSaCS	2001	DBLP DOI BibTeX RDF
31	Florian Waas	Extending Iterators for Advanced Query Execution.	Australasian Database Conference	2000	DBLP DOI BibTeX RDF	Disjunctive predicates, Iterators, Query evaluation
31	Vincent Le Maout	Cursors.	CIAA	2000	DBLP DOI BibTeX RDF
31	Edward P. F. Chan, Koji Ueda	Efficient Query Result Retrieval over the Web.	ICPADS	2000	DBLP DOI BibTeX RDF	Efficient Query Retrieval, map database, GIS, Web server, R-tree, Distributed Object Management, spatial index, the Web
31	Alexandre V. Zamulin	Language Independent Container Specification.	Generic Programming	1998	DBLP DOI BibTeX RDF
27	Sihyung Lee, Seung Yeob Nam	Implementation of Grover's Iterator for Quantum Searching With an Arbitrary Number of Qubits.	IEEE Access	2024	DBLP DOI BibTeX RDF
27	Jorge Blázquez, Manuel Montenegro, Clara Segura	Verification of mutable linear data structures and iterator-based algorithms in Dafny.	J. Log. Algebraic Methods Program.	2023	DBLP DOI BibTeX RDF
27	Seungjin Lee, Chang-Gyu Lee, Donghyun Min, Inhyuk Park, Woosuk Chung, Anand Sivasubramaniam, Youngjae Kim 0001	Iterator Interface Extended LSM-tree-based KVSSD for Range Queries.	SYSTOR	2023	DBLP DOI BibTeX RDF
27	Cem Savas Bassoy	Iterator-Based Design of Generic C++ Algorithms for Basic Tensor Operations.	Frontiers Appl. Math. Stat.	2022	DBLP DOI BibTeX RDF
27	Aurel Bílý, Jonas Hansen, Peter Müller 0001, Alexander J. Summers	Compositional Reasoning for Side-effectful Iterators and Iterator Adapters.	CoRR	2022	DBLP DOI BibTeX RDF
27	Jonathan Kliem, Christian Stump	A New Face Iterator for Polyhedra and for More General Finite Locally Branched Lattices.	Discret. Comput. Geom.	2022	DBLP DOI BibTeX RDF
27	Hongping Gan, Song Xiao 0001, Zhimin Zhang 0006, Shanshan Shan, Yang Gao 0030	Chaotic Compressive Sampling Matrix: Where Sensing Architecture Meets Sinusoidal Iterator.	Circuits Syst. Signal Process.	2020	DBLP DOI BibTeX RDF
27	Sebastián Zudaire, Martín Garrett, Sebastián Uchitel	Iterator-Based Temporal Logic Task Planning.	CoRR	2020	DBLP BibTeX RDF
27	Sebastián A. Zudaire, Martín Garrett, Sebastián Uchitel	Iterator-Based Temporal Logic Task Planning.	ICRA	2020	DBLP DOI BibTeX RDF
27	Konstantin Läufer, John O'Sullivan, George K. Thiruvathukal	Tests as maintainable assets via auto-generated spies: a case study involving the scala collections library's iterator trait.	SCALA@ECOOP	2019	DBLP DOI BibTeX RDF
27	Soumya Prakash Rana, Maitreyee Dey, Mohammad Ghavami, Sandra E. M. Dudley	ITERATOR: A 3D Gait Identification from IR-UWB Technology.	EMBC	2019	DBLP DOI BibTeX RDF
27	Evaggelia Pitoura	Iterator.	Encyclopedia of Database Systems (2nd ed.)	2018	DBLP DOI BibTeX RDF
27	Stanislav Manilov, Christos Vasiladiotis, Björn Franke	Generalized profile-guided iterator recognition.	CC	2018	DBLP DOI BibTeX RDF
27	Daniel Feshbach, Mary Glaser, Michelle Strout, David G. Wonnacott	Iterator-Based Optimization of Imperfectly-Nested Loops.	IPDPS Workshops	2018	DBLP DOI BibTeX RDF
27	Christopher Preschern	Patterns for C Iterator Interfaces.	EuroPLoP	2017	DBLP DOI BibTeX RDF
27	Nasser Giacaman, Oliver Sinnen	Parallel Iterator for Parallelizing Object-Oriented Applications.	Int. J. Parallel Program.	2011	DBLP DOI BibTeX RDF
27	Norbert Pataki, Zoltán Porkoláb	Extension of Iterator Traits in the C++ Standard Template Library.	FedCSIS	2011	DBLP BibTeX RDF
27	Olaf Hartig	Zero-Knowledge Query Planning for an Iterator Implementation of Link Traversal Based Query Execution.	ESWC (1)	2011	DBLP DOI BibTeX RDF
27	Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie	Linearity and iterator types for Gödel's System.	High. Order Symb. Comput.	2010	DBLP DOI BibTeX RDF
27	Evaggelia Pitoura	Iterator.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
27	Jeremy Gibbons, Bruno C. d. S. Oliveira	The essence of the Iterator pattern.	J. Funct. Program.	2009	DBLP DOI BibTeX RDF
27	Nasser Giacaman, Oliver Sinnen	Supporting Partial Ordering with the Parallel Iterator.	PDCAT	2009	DBLP DOI BibTeX RDF
27	Suresh Iyengar, S. Sudarshan 0001, Santosh Kumar 0002, Raja Agrawal	Exploiting Asynchronous IO using the Asynchronous Iterator Model.	COMAD	2008	DBLP BibTeX RDF
27	Gerhard W. Zumbusch	A Container-Iterator Parallel Programming Model.	PPAM	2007	DBLP DOI BibTeX RDF	domain specific code generation, parallel numerical methods, Posix threads, MPI, automatic parallelization, multigrid, Cell processor, parallel programming models
27	Horatiu Jula	Alternative Implementation of the C# Iterator Blocks.	J. Object Technol.	2006	DBLP DOI BibTeX RDF
27	Jeremy Gibbons, Bruno C. d. S. Oliveira	The Essence of the ITERATOR Pattern.	MSFP@MPC	2006	DBLP BibTeX RDF
27	Kevin Bierhoff	Iterator specification with typestates.	SAVCBS@FSE	2006	DBLP DOI BibTeX RDF
27	Philip J. Rhodes, Xuan Tang, R. Daniel Bergeron, Ted M. Sparr	Out-of-core visualization using iterator-aware multidimensional prefetching.	Visualization and Data Analysis	2005	DBLP DOI BibTeX RDF
27	Brad Long	Sorting non-key fields in the distributed result set iterator pattern.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF
27	Brad Long	Distributed result set iterator: a design pattern for efficient retrieval of large result sets from remote data sources.	J. Parallel Distributed Comput.	2004	DBLP DOI BibTeX RDF
27	David Wingate, Kevin D. Seppi	P3VI: a partitioned, prioritized, parallel value iterator.	ICML	2004	DBLP DOI BibTeX RDF	Asynchronous dynamic programming, value iteration, reinforcement learning
27	Ralf Gitzel, Axel Korthaus, Nima Mazloumi	Handling Huge Data Sets in J2EE/EJB2.1 with a Page-by-Page Iterator Pattern Variant for CMP.	Software Engineering Research and Practice	2003	DBLP BibTeX RDF
27	Johan Larsson 0006	Calculating in an object-oriented iterator-view-generator framework.	OOPSLA Addendum	2000	DBLP DOI BibTeX RDF
27	Steve King 0001, Carroll Morgan	An Iterator Construct for the Refinement Calculus.	IWFM	2000	DBLP BibTeX RDF
27	Adrian Johnstone, Elizabeth Scott	rdp - An Iterator-Based Recursive Descent Parser Generator with Tree Promotion Operators.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF
27	Andrew Koenig	Iterator Iterators and Temporal Sequences.	J. Object Oriented Program.	1997	DBLP BibTeX RDF
27	Fan Ludwig	On continuing powers, superexponents and an exponential iterator.	ACM SIGAPL APL Quote Quad	1997	DBLP DOI BibTeX RDF
27	Richard Rasala	A model C++ tree iterator class for binary search trees.	SIGCSE	1997	DBLP DOI BibTeX RDF	C++
27	Andrew Koenig	Introduction to Iterator Adaptors.	J. Object Oriented Program.	1995	DBLP BibTeX RDF
27	Trevor W. Pearce, David Alex Lamb	The Property Vector Specification of a Multiset Iterator.	ICSE	1992	DBLP DOI BibTeX RDF
27	F. J. Weigert	A gear iterator.	Comput. Chem.	1987	DBLP DOI BibTeX RDF
24	Nicolas Blanc, Alex Groce, Daniel Kroening	Verifying C++ with STL containers via predicate abstraction.	ASE	2007	DBLP DOI BibTeX RDF	model checking, verification, C++, iterator, predicate abstraction, STL
24	Corrado Böhm	Subduing Self-Application.	ICALP	1989	DBLP DOI BibTeX RDF	combinatory and lambda-algebras, typability, strong normalizability, recursor, permutator, iterator, Self-application, recursive schemes
15	Jan Smans, Bart Jacobs 0002, Frank Piessens	Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic.	ECOOP	2009	DBLP DOI BibTeX RDF
15	Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson 0001	Equality and hashing for (almost) free: Generating implementations from abstraction functions.	ICSE	2009	DBLP DOI BibTeX RDF
15	Dibyendu Das 0001, Madhavi Valluri, Michael Wong, Chris Cambly	Speeding up STL Set/Map Usage in C++ Applications.	SIPEW	2008	DBLP DOI BibTeX RDF
15	Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal	Ynot: dependent types for imperative programs.	ICFP	2008	DBLP DOI BibTeX RDF	type theory, monads, Hoare logic, separation logic
15	Bernhard Rieder, Peter P. Puschner, Ingomar Wenzel	Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis.	WISES	2008	DBLP DOI BibTeX RDF
15	Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur	Heap analysis in the presence of collection libraries.	PASTE	2007	DBLP DOI BibTeX RDF	collection library, static analysis, shape analysis
15	Pablo Castro, Sergey Melnik 0001, Atul Adya	ADO.NET entity framework: raising the level of abstraction in data programming.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	ADO.NET, data programming, conceptual modeling
15	Badrish Chandramouli, Christopher N. Bond, Shivnath Babu, Jun Yang 0001	Query suspend and resume.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	resume, suspend, optimization, processing, query
15	Michael Spevak, René Heinzl, Philipp Schwaha, Siegfried Selberherr	A Computational Framework for Topological Operations.	PARA	2006	DBLP DOI BibTeX RDF
15	Mackale Joyner, Bradford L. Chamberlain, Steven J. Deitz	Iterators in Chapel.	IPDPS	2006	DBLP DOI BibTeX RDF
15	Jean-Christophe Filliâtre	Backtracking iterators.	ML	2006	DBLP DOI BibTeX RDF	iteration, backtracking, persistent data structures
15	Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie	The Power of Linear Functions.	CSL	2006	DBLP DOI BibTeX RDF
15	Marcin Zalewski, Sibylle Schupp	Change Impact Analysis for Generic Libraries.	ICSM	2006	DBLP DOI BibTeX RDF
15	Gildas Ménier, Pierre-Francois Marteau, Nicolas Bonnel 0001	Binding Structural Properties to Node and Path Constraints in XML Path Retrieval.	SITIS	2006	DBLP DOI BibTeX RDF	query and processing language, XML, data management, XPath, XQuery, editing distance, approximate search
15	Matthias Brantner, Sven Helmer, Carl-Christian Kanne, Guido Moerkotte	Full-fledged Algebraic XPath Processing in Natix.	ICDE	2005	DBLP DOI BibTeX RDF
15	Ittai Balaban, Frank Tip, Robert M. Fuhrer	Refactoring support for class library migration.	OOPSLA	2005	DBLP DOI BibTeX RDF
15	Fernando Rincón, Francisco Moya, Jesús Barba, Juan Carlos López 0001	Model Reuse through Hardware Design Patterns.	DATE	2005	DBLP DOI BibTeX RDF
15	Daniel Hoffman, Kevin Yoo	Blowtorch: a framework for firewall test automation.	ASE	2005	DBLP DOI BibTeX RDF	network firewall, production grammar, automated testing, covering array, capture/replay
15	David G. Richardson, Werner Krandick	Compiler-Enforced Memory Semantics in the SACLIB Computer Algebra Library.	CASC	2005	DBLP DOI BibTeX RDF
15	Leonidas Fegaras	XQuery Processing with Relevance Ranking.	XSym	2004	DBLP DOI BibTeX RDF
15	Jens Dietrich 0001	A Rule-Based System for eCommerce Applications.	KES	2004	DBLP DOI BibTeX RDF	Knowledge Representation and Management, Semantic Web, Knowledge-Based Systems, Intelligent Agent, eCommerce
15	Walter Dosch, Annette Stümpel	Transforming Stream Processing Functions into State Transition Machines.	SERA	2004	DBLP DOI BibTeX RDF
15	Matthew Heaney	Charles: A Data Structure Library for Ada95.	Ada-Europe	2003	DBLP DOI BibTeX RDF
15	Ehsan Vossough, Janusz R. Getta	Processing of Continuous Queries over Unlimited Data Streams.	DEXA	2002	DBLP DOI BibTeX RDF
15	Olivier Danvy, Mayer Goldberg	There and back again.	ICFP	2002	DBLP DOI BibTeX RDF	Catalan numbers, Symbolic convolutions, continuation-based programming, palindrome detection
15	Martin Palkovic, Miguel Miranda, Kristof Denolf, Peter Vos, Francky Catthoor	Systematic Address and Control Code Transformations for Performance Optimisation of a MPEG-4 Video Decoder.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF
15	Jens Claußen, Alfons Kemper, Guido Moerkotte, Klaus Peithner, Michael Steinbrunn	Optimization and Evaluation of Disjunctive Queries.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	disjunctive queries, query evaluation plans, expensive query predicates, bypass processing, query processing, Query optimization
15	Arnold Beckmann, Andreas Weiermann	Characterizing the elementary recursive functions by a fragment of Gödel's T.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF
15	David Gay, Bjarne Steensgaard	Fast Escape Analysis and Stack Allocation for Object-Based Programs.	CC	2000	DBLP DOI BibTeX RDF
15	James Noble 0001	Iterators and Encapsulation.	TOOLS (33)	2000	DBLP DOI BibTeX RDF
15	Arunprasad P. Marathe, Kenneth Salem	Query Processing Techniques for Arrays.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF