The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Renaming with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1963-1988 (18) 1989-1993 (20) 1994-1995 (15) 1996-1997 (27) 1998 (18) 1999 (16) 2000 (21) 2001 (18) 2002 (19) 2003 (20) 2004 (25) 2005 (23) 2006 (25) 2007 (31) 2008 (27) 2009-2010 (23) 2011-2012 (21) 2013-2014 (18) 2015-2017 (16) 2018-2019 (18) 2020-2021 (16) 2022-2023 (16)
Publication types (Num. hits)
article(106) incollection(6) inproceedings(336) phdthesis(3)
Venues (Conferences, Journals, ...)
PODC(16) DISC(14) MICRO(13) CoRR(10) ISCA(10) CADE(6) Distributed Comput.(6) ICS(6) IEEE Trans. Computers(6) ISLPED(6) J. ACM(6) WDAG(6) CC(4) CONCUR(4) CSL(4) HPCA(4) More (+10 of total 242)
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
141Achour Mostéfaoui, Michel Raynal, Corentin Travers From Renaming to Set Agreement. Search on Bibsonomy SIROCCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
116Max Schäfer, Torbjörn Ekman 0001, Oege de Moor Sound and extensible renaming for java. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF name analysis, refactoring, renaming, extensible compilers
97Mark Moir, James H. Anderson Fast, Long-Lived Renaming (Extended Abstract). Search on Bibsonomy WDAG The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
94Gary S. Tyson, Todd M. Austin Improving the Accuracy and Performance of Memory Communication Through Renaming. Search on Bibsonomy MICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF data fetching, data value speculation, heap segment, instruction loading, memory access latency, memory communication, memory references, memory renaming, memory segments, processor pipeline, register access techniques, stores, performance, delays, accuracy, instruction-level parallelism, execution time, storage allocation, data dependence speculation, address calculation
92Nicola Zingirian, Massimo Maresca Selective Register Renaming: A Compiler-Driven Approach to Dynamic Register Renaming. Search on Bibsonomy HPCN The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Dynamic Register Renaming, Instruction Level Parallelism, Register Allocation, Loop Parallelization
86Wayne Eberly, Lisa Higham, Jolanta Warpechowska-Gruca Long-Lived, Fast, Waitfree Renaming with Optimal Name Space and High Throughput. Search on Bibsonomy DISC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
86Mark Moir, Juan A. Garay Fast, Long-Lived Renaming Improved and Simplified. Search on Bibsonomy WDAG The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
83Yehuda Afek, Eli Gafni, Opher Lieber Tight Group Renaming on Groups of Size g Is Equivalent to g-Consensus. Search on Bibsonomy DISC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF set-consensus, group renaming, solo run, validity, consensus
83Hazem I. Shehata, Mark D. Aagaard A general decomposition strategy for verifying register renaming. Search on Bibsonomy DAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF formal design verification, register renaming, pipelined circuits
80Chang-Chung Liu, R.-Ming Shiu, Chung-Ping Chung Register renaming for x86 superscalar design. Search on Bibsonomy ICPADS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Intel x86 superscalar design, storage conflicts, data lengths, register write, register read, hardware renaming schemes, aggressive superscalar machine model, parallel architectures, instruction level parallelism, simulation results, microprocessor chips, register renaming
75Achour Mostéfaoui, Michel Raynal, Corentin Travers Exploring Gafni's Reduction Land: From Omegak to Wait-Free Adaptive (2p-[p/k])-Renaming Via k-Set Agreement. Search on Bibsonomy DISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
75Guido Malpohl, James J. Hunt, Walter F. Tichy Renaming Detection. Search on Bibsonomy ASE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF configuration management, merging, static semantics, deltas
75Alan Pita, Nadeem Malik Sectored renaming for superscalar microprocessors. Search on Bibsonomy IPCCC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
74Hans Kleine Büning, Daoyun Xu The complexity of homomorphisms and renamings for minimal unsatisfiable formulas. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF minimal unsatisfiable formula, complexity, graph isomorphism, homomorphism, renaming
74Roger Espasa, Mateo Valero, James E. Smith 0001 Out-of-Order Vector Architectures. Search on Bibsonomy MICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF memory traffic elimination, microarchitecture, out-of-order execution, memory latency, register renaming, vector architecture, precise interrupts
72Hui Zeng, Ju-Young Jung, Kanad Ghose, Dmitry Ponomarev 0001 Energy-efficient renaming with register versioning. Search on Bibsonomy ISLPED The full citation details ... 2009 DBLP  DOI  BibTeX  RDF microprocessor, register renaming
72Michael Okun, Amnon Barak, Eli Gafni Renaming in synchronous message passing systems with Byzantine failures. Search on Bibsonomy Distributed Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Renaming problem, Synchronous message passing model, Byzantine failures
72Murdoch James Gabbay, Martin Hofmann 0001 Nominal Renaming Sets. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Nominal renaming sets, nominal sets, abstract syntax with binding
64Jesús Alastruey, Teresa Monreal, Víctor Viñals, Mateo Valero Microarchitectural Support for Speculative Register Renaming. Search on Bibsonomy IPDPS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
64Hagit Attiya, Amotz Bar-Noy, Danny Dolev, David Peleg, Rüdiger Reischuk Renaming in an Asynchronous Environment Search on Bibsonomy J. ACM The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
61Jungwook Kim, Seong Tae Jhang, Chu Shik Jhon Dynamic register-renaming scheme for reducing power-density and temperature. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF embedded operating systems for mobile computing, power-density minimization, renaming scheme, register file, thermal management
61Patricia Jablonski, Daqing Hou CReN: a tool for tracking copy-and-paste code clones and renaming identifiers consistently in the IDE. Search on Bibsonomy ETX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF consistent renaming, copy-and-paste programming, intent inference, Java, error detection, code clone, abstract syntax tree, Eclipse integrated development environment
61Michel Raynal An Introduction to the Renaming Problem. Search on Bibsonomy PRDC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Renaming problem, Fault-tolerance, Concurrency, Shared memory system, Process crash, Message passing system, Atomic register, Wait-free computation
53Benjamin Bishop, Thomas P. Kelliher, Mary Jane Irwin The Design of a Register Renaming Unit. Search on Bibsonomy Great Lakes Symposium on VLSI The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
53Xumin Nie, Qing Guo Renaming a Set of Non-Horn Clauses. Search on Bibsonomy ISMIS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
52Michel Raynal Locks Considered Harmful: A Look at Non-traditional Synchronization. Search on Bibsonomy SEUS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Adaptive renaming, Lock-free synchronization, Fault-tolerance, Concurrency, Shared memory system, Asynchronous system, Failure detector, Process crash, Atomic register, Synchronization primitive, Wait-free computation
52Andrew D. Hilton, Amir Roth Ginger: control independence using tag rewriting. Search on Bibsonomy ISCA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF control independence, out-of-order renaming, selective re-dispatch, branch misprediction
52Yehuda Afek, Gideon Stupp, Dan Touitou Long lived adaptive splitter and applications. Search on Bibsonomy Distributed Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Read/write shared memory, Long-lived, Mutual exclusion, Contention, Adaptive algorithms, Wait-free, Renaming
50Masaharu Goto, Toshinori Sato Leakage Energy Reduction in Register Renaming. Search on Bibsonomy ICDCS Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF super-scalar processors, embedded processors, register renaming, deep submicron, Leakage energy
44Hongbo Rong, Alban Douillet, Ramaswamy Govindarajan, Guang R. Gao Code Generation for Single-Dimension Software Pipelining of Multi-Dimensional Loops. Search on Bibsonomy CGO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Yehuda Afek, Iftah Gamzu, Irit Levy, Michael Merritt, Gadi Taubenfeld Group Renaming. Search on Bibsonomy OPODIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42Xuehai Qian, He Huang, Zhenzhong Duan, Junchao Zhang, Nan Yuan, Yongbin Zhou, Hao Zhang 0009, Huimin Cui, Dongrui Fan Optimized Register Renaming Scheme for Stack-Based x86 Operations. Search on Bibsonomy ARCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Alex Brodsky, Faith Ellen, Philipp Woelfel Fully-Adaptive Algorithms for Long-Lived Renaming. Search on Bibsonomy DISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Eli Gafni, Sergio Rajsbaum, Maurice Herlihy Subconsensus Tasks: Renaming Is Weaker Than Set Agreement. Search on Bibsonomy DISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Michael Okun, Amnon Barak Renaming in Message Passing Systems with Byzantine Failures. Search on Bibsonomy DISC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Fabrice Rastello, François de Ferrière, Christophe Guillon Optimizing Translation Out of SSA Using Renaming Constraints. Search on Bibsonomy CGO The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Michiko Inoue, Shinya Umetani, Toshimitsu Masuzawa, Hideo Fujiwara Adaptive Long-Lived O(k2)-Renaming with O(k2) Steps. Search on Bibsonomy DISC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
42Daniel Ortega, Mateo Valero, Eduard Ayguadé A novel renaming mechanism that boosts software prefetching. Search on Bibsonomy ICS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
42Dezsö Sima The Design Space of Register Renaming Techniques. Search on Bibsonomy IEEE Micro The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
42Hagit Attiya, Arie Fouren Polynominal and Adaptive Long-Lived (2k-1)-Renaming. Search on Bibsonomy DISC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
42Antonio Brogi, Simone Contiero, Franco Turini The Use of Renaming in Composing General Programs. Search on Bibsonomy LOPSTR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
41Suhyun Kim, Soo-Mook Moon, Jinpyo Park, Kemal Ebcioglu Unroll-Based Copy Elimination for Enhanced Pipeline Scheduling. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2002 DBLP  DOI  BibTeX  RDF enhanced pipeline scheduling, unrolling, modulo variable expansion, iterated coalescing, register allocation, Software pipelining, modulo scheduling, renaming, coalescing
41Nicola Zingirian, Massimo Maresca Run-Time Support to Register Allocation for Loop Parallelization of Image Processing Programs. Search on Bibsonomy HPCN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Dynamic Register Renaming, Image Processing, Instruction Level Parallelism, Register Allocation, Loop Parallelization
41Seongbae Park, SangMin Shim, Soo-Mook Moon Evaluation of Scheduling Techniques on a SPARC-based VLIW Testbed. Search on Bibsonomy MICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF SPARC-based VLIW testbed, VLIW microprocessors, Very Long Instruction Word microprocessors, all-path speculation, gcc-generated optimized SPARC code, high-performance VLIW code, nongreedy enhanced pipeline scheduling, nonspeculative operations, profile-based all-path speculation, restricted speculative loads, scheduling compiler, speculative operations, trace-based speculation, performance, compiler, computer architecture, parallel machines, software pipelining, loop unrolling, renaming, memory disambiguation, copies, scheduling techniques
41Isabelle Attali, Denis Caromel, Sidi O. Ehmety A Natural Semantics for Eiffel Dynamic Binding. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF semantics, inheritance, Eiffel, Eiffel, dynamic binding, renaming
40Andrei Popescu 0001 Renaming-Enriched Sets (Rensets) and Renaming-Based Recursion. Search on Bibsonomy Arch. Formal Proofs The full citation details ... 2023 DBLP  BibTeX  RDF
40Armando Castañeda, Damien Imbs, Sergio Rajsbaum, Michel Raynal Renaming Is Weaker Than Set Agreement But for Perfect Renaming: A Map of Sub-consensus Tasks. Search on Bibsonomy LATIN The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
39Patricia Jablonski, Daqing Hou Renaming Parts of Identifiers Consistently within Code Clones. Search on Bibsonomy ICPC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF copy-and-paste programming, identifier renaming, Java, code clone, Eclipse integrated development environment
39Stéphan Jourdan, Ronny Ronen, Michael Bekerman, Bishara Shomar, Adi Yoaz A Novel Renaming Scheme to Exploit Value Temporal Locality Through Physical Register Reuse and Unification. Search on Bibsonomy MICRO The full citation details ... 1998 DBLP  DOI  BibTeX  RDF dependency redirection, physical register reuse, register and memory renaming, result reuse, value temporal locality
39Eric Sprangle, Yale N. Patt Facilitating superscalar processing via a combined static/dynamic register renaming scheme. Search on Bibsonomy MICRO The full citation details ... 1994 DBLP  DOI  BibTeX  RDF superscalar processors, out-of-order execution, register renaming, predicated execution
33Raid Ayoub, Alex Orailoglu Power efficient register file update approach for embedded processors. Search on Bibsonomy ICCD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Rama Sangireddy Reducing Rename Logic Complexity for High-Speed and Low-Power Front-End Architectures. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Wide-issue processors, integer pipeline, rename logic complexity, front-end power consumption
33James Cheney Toward a general theory of names: binding and scope. Search on Bibsonomy MERLIN The full citation details ... 2005 DBLP  DOI  BibTeX  RDF names, abstract syntax, scope, nominal logic
33Daniel Ortega, Eduard Ayguadé, Mateo Valero Dynamic memory instruction bypassing. Search on Bibsonomy ICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF on-chip memory management, superscalar processors
33Yehuda Afek, Pazi Boxer, Dan Touitou Bounds on the shared memory requirements for long-lived adaptive objects (extended abstract). Search on Bibsonomy PODC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
33Suhyun Kim, Soo-Mook Moon, Jinpyo Park, Han-Saem Yun Unroll-Based Copy Elimination for Enhanced Pipeline Scheduling. Search on Bibsonomy LCPC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
31Marina Langlois, Robert H. Sloan, György Turán Horn Upper Bounds and Renaming. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Miquel Ramírez, Hector Geffner Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Hua Yang, Gang Cui, Xiao-Zong Yang 2L-MuRR: A Compact Register Renaming Scheme for SMT Processors. Search on Bibsonomy ISPA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Gurhan Kucuk, Oguz Ergin, Dmitry Ponomarev 0001, Kanad Ghose Energy Efficient Register Renaming. Search on Bibsonomy PATMOS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Xinping Guo, James R. Cordy, Thomas R. Dean Unique Renaming of Java Using Source Transformation. Search on Bibsonomy SCAM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Alessandro De Gloria, Mauro Olivieri An application specific multi-port RAM cell circuit for register renaming units in high speed microprocessors. Search on Bibsonomy ISCAS (4) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31Philippe Herrmann Renaming is Necessary in Timed Regular Expressions. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
31Thierry Boy de la Tour Minimizing the Number of Clauses by Renaming. Search on Bibsonomy CADE The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
31Matthias Höpner, Manfred Opp Renaming and Erasing in Szilard Languages. Search on Bibsonomy ICALP The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
30Eli Gafni The extended BG-simulation and the characterization of t-resiliency. Search on Bibsonomy STOC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF solvability, t-resiliency, decidability, symmetry breaking, wait-freedom, renaming
30Michel Raynal, Gadi Taubenfeld The notion of a timed register and its application to indulgent synchronization. Search on Bibsonomy SPAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF test&set, timing assumption, universal object, wait-free implementation, consensus, mutual exclusion, timing constraint, contention manager, process crash, simplicity, atomic register, renaming, concurrent object, asynchronous shared memory system
30Jesús Alastruey, Teresa Monreal, Víctor Viñals, Mateo Valero Speculative early register release. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF physical register release, optimization, register file, register renaming
30Hagit Attiya, Arie Fouren Algorithms adapting to point contention. Search on Bibsonomy J. ACM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Contention-sensitive complexity, read/write registers, collect, renaming, wait-free algorithms, asynchronous shared-memory systems
30Hagit Attiya, Arie Fouren, Eli Gafni An adaptive collect algorithm with applications. Search on Bibsonomy Distributed Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Contention-sensitive complexity, Read/write registers, Atomic snapshots, Immediate snapshots, Renaming, Wait-free algorithms, Asynchronous shared-memory systems
30Yi Feng 0001, Eduard Cerny Term ordering problem on MDG. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF first-order terms, function renaming, function symbols, standard term ordering, term rewriting, variable ordering, multiway decision graphs
30Nicola Zingirian, Massimo Maresca Loop Regularization for Image and Video Processing on Instruction Level Parallel Architectures. Search on Bibsonomy CAMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF loop regularization, instruction level parallel architectures, instruction reordering, image processing, embedded systems, embedded systems, video processing, digital signal processors, register renaming
30María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal Specialization of Lazy Functional Logic Programs. Search on Bibsonomy PEPM The full citation details ... 1997 DBLP  DOI  BibTeX  RDF integration of functional and logic programming, lazy narrowing, post-processing renaming, partial evaluation, term rewriting systems
30Keith I. Farkas, Norman P. Jouppi, Paul Chow Register File Design Considerations in Dynamically Scheduled Processors. Search on Bibsonomy HPCA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF dynamic scheduling, register files, register renaming
30M. Anton Ertl, Andreas Krall Removing Anti Dependences by Repairing. Search on Bibsonomy CC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF anti dependence, instruction-level parallelism, speculative execution, repairing, register renaming
22Damien Imbs, Michel Raynal Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation. Search on Bibsonomy SSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF t-Resilience, Wait-free environment, Fault-Tolerance, Distributed computability, Shared memory system, Reduction, Arbiter, Asynchronous processes, Process crash failure
22Carsten Schürmann 0001 The Twelf Proof Assistant. Search on Bibsonomy TPHOLs The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Santiago Figueira, Daniel Gorín, Rafael Grimson On the Formal Semantics of IF-Like Logics. Search on Bibsonomy WoLLIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Isidro Gonzalez, Marco Galluzzi, Alexander V. Veidenbaum, Marco Antonio Ramírez, Adrián Cristal, Mateo Valero A distributed processor state management architecture for large-window processors. Search on Bibsonomy MICRO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Sam Jeong, Kun Hee Han, Young Park A Combined Technique of Non-uniform Loops. Search on Bibsonomy GPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Catalin Dima Timed Shuffle Expressions. Search on Bibsonomy CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Teresa Monreal, Víctor Viñals, José González 0002, Antonio González 0001, Mateo Valero Late Allocation and Early Release of Physical Registers. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Gurhan Kucuk, Dmitry Ponomarev 0001, Oguz Ergin, Kanad Ghose Complexity-Effective Reorder Buffer Designs for Superscalar Processors. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Eli Gafni Group-Solvability. Search on Bibsonomy DISC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Olivier Danvy, Pablo E. Martínez López Tagging, Encoding, and Jones Optimality. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Walid Taha, Patricia Johann Staged Notational Definitions. Search on Bibsonomy GPCE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Christoforos E. Kozyrakis, David A. Patterson 0001 Overcoming the Limitations of Conventional Vector Processors. Search on Bibsonomy ISCA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Vlad Petric, Anne Bracy, Amir Roth Three extensions to register integration. Search on Bibsonomy MICRO The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22Lori Carter, Weihaw Chuang, Brad Calder An EPIC Processor with Pending Functional Units. Search on Bibsonomy ISHPC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22Suhyun Kim, Soo-Mook Moon, Jinpyo Park, Kemal Ebcioglu Unroll-based register coalescing. Search on Bibsonomy ICS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
22C. John Glossner, Stamatis Vassiliadis Delft-Java Dynamic Translation. Search on Bibsonomy EUROMICRO The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
22Sriram Vajapeyam, Tulika Mitra Improving Superscalar Instruction Dispatch and Issue by Exploiting Dynamic Code Sequences. Search on Bibsonomy ISCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
22Shinn-Der Lee, Daniel P. Friedman Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction. Search on Bibsonomy ICFP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
22Chansu Yu, Chita R. Das Disjoint Task Allocation Algorithms for MIN Machines with Minimal Conflicts. Search on Bibsonomy IEEE Trans. Parallel Distributed Syst. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
22Patricia Prather Pineo, Mary Lou Soffa A Practical Approach to the Symbolic Debugging of Parallelized Code. Search on Bibsonomy CC The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
22Soma Chaudhuri Towards a complexity hierarchy of wait-free concurrent objects. Search on Bibsonomy SPDP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
22N. Badaro, Th. Moineau ROSE-Ada: a Method and a Tool to Help Reuse of Ada Codes. Search on Bibsonomy Ada-Europe The full citation details ... 1991 DBLP  DOI  BibTeX  RDF Key-words software reuse, ESF-ROSE, Ada, software adaptation, software components retrieval
22Ofer Biran, Shlomo Moran, Shmuel Zaks Tight Bounds on the Round Complexity of Distributed 1-Solvable Tasks. Search on Bibsonomy WDAG The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
22Donald Sannella, Rod M. Burstall Structured Theories in LCF. Search on Bibsonomy CAAP The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
22Edward Sciore Improving Semantic Specification in a Relational Database. Search on Bibsonomy SIGMOD Conference The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 451 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license