Search results for "repetitions"

Found 513 publication records. Showing 513 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Víctor M. Gulías, J. Santiago Jorge, Juan J. Quintela, José Luis Freire	From Sequential to Distributed Formal Proofs.	EUROCAST	1997	DBLP DOI BibTeX RDF	Distributed Computing, Functional Programming, Formal Proofs
11	Juha Kärkkäinen, Erkki Sutinen	Lempel-Ziv Index for q-Grams.	ESA	1996	DBLP DOI BibTeX RDF
11	Todd B. Knoblock, Erik Ruf	Data Specialization.	PLDI	1996	DBLP DOI BibTeX RDF
11	Uriel Feige, Oleg Verbitsky 0001	Error Reduction by Parallel Repetition - a Negative Result.	CCC	1996	DBLP DOI BibTeX RDF	error reduction, Interactive proofs, parallel repetition, forbidden subgraph
11	Puri Arenas-Sánchez, Agostino Dovier	Minimal Set Unification	PLILP	1995	DBLP DOI BibTeX RDF	Logic Programming with Sets, Unification, CLP
11	Sundeep Prakash, Rajive L. Bagrodia	An adaptive synchronization method for unpredictable communication patterns in dataparallel programs.	IPPS	1995	DBLP DOI BibTeX RDF	adaptive synchronization method, unpredictable communication patterns, dataparallel programs, inspector-executor method, IBM SP1 multicomputer, synthetic benchmark codes, performance, parallel programming, compiler, code generation, synchronisation, program compilers, software performance evaluation, communication patterns
11	Greg N. Frederickson	Searching among Intervals and Compact Routing Tables.	ICALP	1993	DBLP DOI BibTeX RDF
11	J. Howard Johnson	Identifying redundancy in source code using fingerprints.	CASCON	1993	DBLP BibTeX RDF
11	Albert Le Xuan, Rajjan Shinghal	Courseware Development by Topdown Conceptual Analysis.	ICCAL	1989	DBLP DOI BibTeX RDF	Topdown Conceptual Analysis, Subordinate Concepts, Coordinate Concepts, Supra-ordinate Concepts, Discrimination & Chains, Generalization, Conceptual Structure
11	C. Mally	Structure and generation of computer languages.	ICCL	1988	DBLP DOI BibTeX RDF
11	Harry B. Hunt III, Richard Edwin Stearns	Monotone Boolean Formulas, Distributive Lattices, and the Complexities of Logics, Algebraic Structures, and Computation Structures (Preliminary Report).	STACS	1986	DBLP DOI BibTeX RDF
11	George Hutchinson	Partioning algorithms for finite sets.	Commun. ACM	1963	DBLP DOI BibTeX RDF
11	Charles J. Swift	Compiling connectives.	Commun. ACM	1960	DBLP DOI BibTeX RDF

Displaying result #501 - #513 of 513 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6]