Search results for "renaming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	David W. Lloyd, Jim D. Garside, D. A. Gilbert	Memory Faults in Asynchronous Microprocessors.	ASYNC	1999	DBLP DOI BibTeX RDF
11	Yehuda Afek, Gideon Stupp, Dan Touitou	ong-lived Adaptive Collect with Applications.	FOCS	1999	DBLP DOI BibTeX RDF	long-lived, adaptive, distributed algorithms, mutual-exclusion, collect, wait-free, snapshot
11	Ramaswamy Govindarajan, Chihong Zhang, Guang R. Gao	Minimum Register Instruction Scheduling: A New Approach for Dynamic Instruction Issue Processors.	LCPC	1999	DBLP DOI BibTeX RDF
11	Bruce R. Childers, Jack W. Davidson	Architectural Considerations for Application-Specific Counterflow Pipelines.	ARVLSI	1999	DBLP DOI BibTeX RDF	Application-specific integrated processors, counterflow pipelines, architectural synthesis
11	Martin Wirsing, John N. Crossley, Hannes Peterreins	Proof Normalization of Structured Algebraic Specifications Is Convergent.	WADT	1998	DBLP DOI BibTeX RDF
11	Todd L. Veldhuizen	Arrays in Blitz++.	ISCOPE	1998	DBLP DOI BibTeX RDF
11	Jürgen Ebert, Bernt Kullbach, Andreas Panse	The Extract-Transform-Rewrite Cycle. A Step towards MetaCARE.	CSMR	1998	DBLP DOI BibTeX RDF
11	Sylvain Lelait, Guang R. Gao, Christine Eisenbeis	A New Fast Algorithm for Optimal Register Allocation in Modulo Scheduled Loops.	CC	1998	DBLP DOI BibTeX RDF
11	Andreas Nonnengart, Georg Rock, Christoph Weidenbach	On Generating Small Clause Normal Forms.	CADE	1998	DBLP DOI BibTeX RDF
11	Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino	On Disguised Double Horn Functions and Extensions.	STACS	1998	DBLP DOI BibTeX RDF
11	Sorin Cotofana, Stamatis Vassiliadis	On the Design Complexity of the Issue Logic of Superscalar Machines.	EUROMICRO	1998	DBLP DOI BibTeX RDF
11	W. Neville Holmes	Simplifying array processing languages.	APL	1998	DBLP DOI BibTeX RDF
11	John Matthews, Byron Cook, John Launchbury	Microprocessor Specification in Hawk.	ICCL	1998	DBLP DOI BibTeX RDF	Microprocessor Verification, Domain-Specific Language, Functional Language, Hardware Verification
11	Jianguo Lu, Masateru Harao, Masami Hagiya	Higher Order Generalization.	JELIA	1998	DBLP DOI BibTeX RDF
11	Liliana Favre	Object Oriented Reuse through Algebraic Specifications.	TOOLS (28)	1998	DBLP DOI BibTeX RDF
11	Artur Klauser, Abhijit Paithankar, Dirk Grunwald	Selective Eager Execution on the PolyPath Architecture.	ISCA	1998	DBLP DOI BibTeX RDF
11	Michelle Mills Strout, Larry Carter, Jeanne Ferrante, Beth Simon	Schedule-Independent Storage Mapping for Loops.	ASPLOS	1998	DBLP DOI BibTeX RDF
11	Soo-Mook Moon, Kemal Ebcioglu	Parallelizing Nonnumerical Code with Selective Scheduling and Software Pipelining.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	global instruction scheduling, speculative code motion, instruction-level parallelism, software pipelining, VLIW, superscalar
11	Hans de Nivelle	A Classification of Non-liftable Orders for Resolution.	CADE	1997	DBLP DOI BibTeX RDF
11	Bernd Finkbeiner, Zohar Manna, Henny Sipma	Deductive Verification of Modular Systems.	COMPOS	1997	DBLP DOI BibTeX RDF
11	Maria Luisa Bonet, Nicola Galesi	Linear Lower Bounds and Simulations in Frege Systems with Substitutions.	CSL	1997	DBLP DOI BibTeX RDF
11	Laura Lafave, John P. Gallagher	Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs.	LOPSTR	1997	DBLP DOI BibTeX RDF
11	Subbarao Palacharla, Norman P. Jouppi, James E. Smith 0001	Complexity-Effective Superscalar Processors.	ISCA	1997	DBLP DOI BibTeX RDF
11	Regimantas Pliuskevicius	On Saturation with Flexible Function Symbols.	MFCS	1996	DBLP DOI BibTeX RDF
11	Hagit Attiya, Sergio Rajsbaum	The Combinatorial Structure of Wait-free Solvable Tasks (Extended Abstract).	WDAG	1996	DBLP DOI BibTeX RDF
11	Philippe Besnard, Torsten Schaub	A Simple Signed System for Paraconsistent Reasoning.	JELIA	1996	DBLP DOI BibTeX RDF
11	Florent Jacquemard	Decidable Approximations of Term Rewriting Systems.	RTA	1996	DBLP DOI BibTeX RDF
11	Debesh K. Das, Uttam K. Bhattacharya, Bhargab B. Bhattacharya	Isomorph-redundancy in sequential circuits.	VTS	1996	DBLP DOI BibTeX RDF	isomorph-redundancy, reduced sequential machine, infinite family, VLSI, logic testing, redundancy, integrated circuit testing, design for testability, logic design, sequential circuits, sequential circuits, DFT, state diagram
11	Juan Antonio de la Puente, Alejandro Alonso 0001, Angel Alvarez	Mapping HRT-HOOD ® Designs to Ada 95 Hierarchical Libraries.	Ada-Europe	1996	DBLP DOI BibTeX RDF	HRT-HOOD, real-time systems, object-oriented methods, Ada 95, Software development methods
11	Trung A. Diep, Christopher Nelson, John Paul Shen	Performance Evaluation of the PowerPC 620 Microarchitecture.	ISCA	1995	DBLP DOI BibTeX RDF	PowerPC
11	Alessandro Panconesi, Marina Papatriantafilou, Philippas Tsigas, Paul M. B. Vitányi	Randomized Wait-Free Naming.	ISAAC	1994	DBLP DOI BibTeX RDF
11	Uma Mahadevan, Sridhar Ramakrishnan	Instruction Schedulimg over Regions: A Framework for Scheduling Across Basic Blocks.	CC	1994	DBLP DOI BibTeX RDF
11	Soma Chaudhuri, Mark R. Tuttle	Fast Increment Registers.	WDAG	1994	DBLP DOI BibTeX RDF
11	John P. Gallagher	Tutorial on Specialisation of Logic Programs.	PEPM	1993	DBLP DOI BibTeX RDF	Prolog
11	Tok Wang Ling, Pit Koon Teo	Inheritance Conflicts in Object-Oriented Systems.	DEXA	1993	DBLP DOI BibTeX RDF
11	Éric Villemonte de la Clergerie	Layer Sharing: An Improved Structure-Sharing Framework.	POPL	1993	DBLP DOI BibTeX RDF	Prolog
11	Hagit Attiya, Taly Djerassi-Shintel	Time Bounds for Decision Problems in the Presence of Timing Uncertainty and Failures.	WDAG	1993	DBLP DOI BibTeX RDF
11	Maurizio Gabbrielli, Giorgio Levi	A Solved Form Algorithm for Ask and Tell Herbrand Constraints.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
11	Rudolf Freund, Brigitte Haberstroh	Attributed Elementarz Programmed Graph Grammars.	WG	1991	DBLP DOI BibTeX RDF
11	Jan A. Bergstra, Jan Heering, Paul Klint	Module Algebra	J. ACM	1990	DBLP DOI BibTeX RDF
11	Ralph W. Wilkerson, Blayne E. Mayfield	The Role of Term Symmetry in E-Completion Procedures.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF
11	Ganesh Gopalakrishnan, Narayana Mani, Venkatesh Akella	Parallel Composition of Lockstep Synchronous Processes for Hardware Validation: Divide-and-Conquer Composition.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
11	Arkady Rabinov	A Restriction of Factoring in Binary Resolution.	CADE	1988	DBLP DOI BibTeX RDF	binary resolution, theorem proving, Factoring
11	Frances E. Allen, Michael G. Burke, Ron Cytron, Jeanne Ferrante, Wilson C. Hsieh	A framework for determining useful parallelism.	ICS	1988	DBLP DOI BibTeX RDF
11	Thomas Brandes	The importance of direct dependences for automatic parallelization.	ICS	1988	DBLP DOI BibTeX RDF
11	H. B. M. Jonkers	Description Algebra.	Algebraic Methods	1987	DBLP DOI BibTeX RDF
11	Keith D. Cooper	Analyzing Aliases of Reference Formal Parameters.	POPL	1985	DBLP DOI BibTeX RDF
11	Witold Lipski Jr.	On Relational Algebra with Marked Nulls.	PODS	1984	DBLP DOI BibTeX RDF
11	Tomasz Imielinski, Witold Lipski Jr.	Incomplete Information and Dependencies in Relational Databases.	SIGMOD Conference	1983	DBLP DOI BibTeX RDF
11	Alain Pirotte 0001	A Precise Definition of Basic Relational Notions and of the Relational Algebra.	SIGMOD Rec.	1982	DBLP DOI BibTeX RDF
11	Klaus J. Berkling, Elfriede Fehr	A Modification of the Lambda-Calculus as a Base for Functional Programming Languages.	ICALP	1982	DBLP DOI BibTeX RDF