|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 360 occurrences of 249 keywords
|
|
|
Results
Found 451 publication records. Showing 451 according to the selection in the facets
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 |
|
Displaying result #401 - #451 of 451 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5] |
|