Search results for "renaming"

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