Search results for "iterators"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	François Fages, Julien Martin	From Rules to Constraint Programs with the Rules2CP Modelling Language.	CSCLP	2008	DBLP DOI BibTeX RDF
15	Kevin Bierhoff, Jonathan Aldrich	Modular typestate checking of aliased objects.	OOPSLA	2007	DBLP DOI BibTeX RDF	linear logic, aliasing, permissions, typestates, behavioral subtyping
15	Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie	Iterator Types.	FoSSaCS	2007	DBLP DOI BibTeX RDF
15	K. Rustan M. Leino, Wolfram Schulte	Using History Invariants to Verify Observers.	ESOP	2007	DBLP DOI BibTeX RDF
15	Kun Wang, Wuwei Shen	Improving the Accuracy of UML Class Model Recovery.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
15	Kai Lampka, S. Harwarth, Markus Siegle	Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs.	VALUETOOLS	2007	DBLP DOI BibTeX RDF
15	Javed Absar, Min Li 0001, Praveen Raghavan, Andy Lambrechts, Murali Jayapala, Arnout Vandecappelle, Francky Catthoor	Locality optimization in wireless applications.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	access, reuse, layout, spatial, temporal, loop-nest
15	Peter Gottschling, David S. Wise, Michael D. Adams 0001	Representation-transparent matrix algorithms with scalable performance.	ICS	2007	DBLP DOI BibTeX RDF	Morton-order, dilated integers, doppled integers, matrix template library
15	Javed Absar, Francky Catthoor	Reuse analysis of indirectly indexed arrays.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	indirectly indexed arrays, irregular access, reuse vector, data reuse, Scratch-pad
15	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
15	Prabhanjan Kambadur, Douglas P. Gregor, Andrew Lumsdaine, Amey Dharurkar	Modernizing the C++ Interface to MPI.	PVM/MPI	2006	DBLP DOI BibTeX RDF
15	Hans Petter Langtangen	A Case Study in High-Performance Mixed-Language Programming.	PARA	2006	DBLP DOI BibTeX RDF
15	Leonor Frias, Jordi Petit, Salvador Roura	Lists Revisited: Cache Conscious STL Lists.	WEA	2006	DBLP DOI BibTeX RDF
15	Ali Hamie	On the Relationship between the Object Constraint Language (OCL) and the Java Modeling Language (JML).	PDCAT	2006	DBLP DOI BibTeX RDF
15	Eric Vecchié, Robert de Simone	Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs.	CAV	2005	DBLP DOI BibTeX RDF
15	Anupam Singh, Srikanth Sampath, Vadiraja Bhatt, Francis Pang, Bharat Rane, Phil Shaw, Gajanan S. Chinchwadkar, Ghazi-Nourdine Benadjaoud	NXS: Native XML processing in Sybase RDBMS.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
15	Mohammed Javed Absar, Francky Catthoor	Compiler-Based Approach for Exploiting Scratch-Pad in Presence of Irregular Array Access.	DATE	2005	DBLP DOI BibTeX RDF
15	Geoffrey Washburn, Stephanie Weirich	Generalizing Parametricity Using Information-flow.	LICS	2005	DBLP DOI BibTeX RDF
15	Le-Jeng Shiue, Jörg Peters 0001	A mesh refinement library based on generic design.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	generic programming, subdivision surfaces, geometric data structure
15	Jean-Baptiste Fasquel, Vincent Agnus	Improving Genericity and Performances of Medical Systems Based on Image Analysis.	CBMS	2005	DBLP DOI BibTeX RDF
15	Thomas Fahringer, Jun Qin, S. Hainzer	Specification of grid workflow applications with AGWL: an Abstract Grid Workflow Language.	CCGRID	2005	DBLP DOI BibTeX RDF
15	Florence Maraninchi, Lionel Morel	Arrays and Contracts for the Specification and Analysis of Regular Systems.	ACSD	2004	DBLP DOI BibTeX RDF
15	Sergio Rajsbaum, Elisa Viso	A case for OO -- Java -- in teaching algorithm analysis.	PPPJ	2003	DBLP DOI BibTeX RDF
15	Hervé Brönnimann, Frédéric Cazals, Marianne Durand	Randomized Jumplists: A Jump-and-Walk Dictionary Data Structure.	STACS	2003	DBLP DOI BibTeX RDF	Dictionary data structures, Searching and sorting, Randomization, Asymptotic analysis
15	Brad Long	A Design Pattern for Efficient Retrieval of Large Data Sets from Remote Data Sources.	OTM	2002	DBLP DOI BibTeX RDF
15	Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney	The Möbius State-Level Abstract Functional Interface.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
15	Peter J. Haas, Joseph M. Hellerstein	Ripple Joins for Online Aggregation.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF
15	Michael T. Goodrich, Mark Handy, Benoît Hudson, Roberto Tamassia	Accessing the Internal Organization of Data Structures in the JDSL Library.	ALENEX	1999	DBLP DOI BibTeX RDF
15	Richard Kelsey, William D. Clinger, Jonathan Rees	Revised5 Report on the Algorithmic Language Scheme.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF	SCHEME
15	Dietmar Kühl	Generic Graph Algorithms.	Generic Programming	1998	DBLP DOI BibTeX RDF	data accessor, algorithm object, graph algorithm, iterator
15	Peter Grogono, Mark Gargul	A Graph Model for Object Oriented Programming.	ACM SIGPLAN Notices	1994	DBLP DOI BibTeX RDF
15	Daniel Hoffman, Xianhong Fang	Testing the C set++ collection class library.	CASCON	1994	DBLP BibTeX RDF
15	Frank H. M. Franssen, Florin Balasa, Michaël F. X. B. van Swaaij, Francky Catthoor, Hugo De Man	Modeling multidimensional data and control flow.	IEEE Trans. Very Large Scale Integr. Syst.	1993	DBLP DOI BibTeX RDF
15	Daniel F. Lieuwen, David J. DeWitt	A Transformation-Based Approach to Optimizing Loops in Database Programming Languages.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
15	Eric C. Cooper	Programming language support for replication in fault-tolerant distributed systems.	ACM SIGOPS European Workshop	1990	DBLP DOI BibTeX RDF
15	Thomas Ruppelt, Guido Wirtz	From mathematical specifications to parallel programs on a message-based system.	ICS	1988	DBLP DOI BibTeX RDF	Prolog, UNIX