Search results for "renaming"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Pierre Warnier, Claire Nedellec	Sentence Filtering for BioNLP: Searching for Renaming Acts.	BioNLP@ACL (Shared Task)	2011	DBLP BibTeX RDF
20	Julien Jourde, Alain-Pierre Manine, Philippe Veber, Karën Fort, Robert Bossy, Érick Alphonse, Philippe Bessières	BioNLP Shared Task 2011 - Bacteria Gene Interactions and Renaming.	BioNLP@ACL (Shared Task)	2011	DBLP BibTeX RDF
20	Sergio Rajsbaum, Michel Raynal	A Theory-Oriented Introduction to Wait-Free Synchronization Based on the Adaptive Renaming Problem.	AINA	2011	DBLP DOI BibTeX RDF
20	Armando Castañeda, Sergio Rajsbaum	New combinatorial topology bounds for renaming: the lower bound.	Distributed Comput.	2010	DBLP DOI BibTeX RDF
20	Michael Okun	Strong order-preserving renaming in the synchronous message passing model.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
20	Marina Langlois, Robert H. Sloan, György Turán	Horn Upper Bounds and Renaming.	J. Satisf. Boolean Model. Comput.	2010	DBLP DOI BibTeX RDF
20	Damien Imbs, Michel Raynal	On Adaptive Renaming under Eventually Limited Contention.	SSS	2010	DBLP DOI BibTeX RDF
20	Dan Alistarh, Hagit Attiya, Seth Gilbert, Andrei Giurgiu, Rachid Guerraoui	Fast Randomized Test-and-Set and Renaming.	DISC	2010	DBLP DOI BibTeX RDF
20	Fakhar Anjam, Stephan Wong, Faisal Nadeem	A multiported register file with register renaming for configurable softcore VLIW processors.	FPT	2010	DBLP DOI BibTeX RDF
20	Lin Meng, Shigeru Oyanagi	Control Independence Using Dual Renaming.	ICNC	2010	DBLP DOI BibTeX RDF
20	Eli Gafni, Achour Mostéfaoui, Michel Raynal, Corentin Travers	From adaptive renaming to set agreement.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
20	Kaveh Aasaraai, Andreas Moshovos	Towards a viable out-of-order soft core: Copy-Free, checkpointed register renaming.	FPL	2009	DBLP DOI BibTeX RDF
20	Pieter Bellens, Josep M. Pérez, Rosa M. Badia, Jesús Labarta	Just-in-Time Renaming and Lazy Write-Back on the Cell/B.E..	ICPP Workshops	2009	DBLP DOI BibTeX RDF
20	Salvador Petit, Rafael Ubal, Julio Sahuquillo, Pedro López 0001	A power-aware hybrid RAM-CAM renaming mechanism for fast recovery.	ICCD	2009	DBLP DOI BibTeX RDF
20	Hui Zeng, Kanad Ghose, Dmitry Ponomarev 0001	Register Versioning: A Low-Complexity Implementation of Register Renaming in Out-of-Order Microarchitectures.	ICPP	2009	DBLP DOI BibTeX RDF
20		Wait-Free Renaming.	Encyclopedia of Algorithms	2008	DBLP DOI BibTeX RDF
20	Maurice Herlihy	Renaming.	Encyclopedia of Algorithms	2008	DBLP DOI BibTeX RDF
20	Armando Castañeda, Sergio Rajsbaum	New combinatorial topology upper and lower bounds for renaming.	PODC	2008	DBLP DOI BibTeX RDF
20	Hua Yang, Gang Cui, Hongwei Liu 0002, Xiao-Zong Yang	Compacting register file via 2-level renaming and bit-partitioning.	Microprocess. Microsystems	2007	DBLP DOI BibTeX RDF
20	Wann-Yun Shieh, Chang-Yi Lee	Power-aware Register Renaming for Multi-banked Register Files.	ESA	2007	DBLP BibTeX RDF
20	Eli Gafni, Michel Raynal, Corentin Travers	Test & Set, Adaptive Renaming and Set Agreement: a Guided Visit to Asynchronous Computability.	SRDS	2007	DBLP DOI BibTeX RDF
20	Tamer Basar	Change of an editorship and renaming of an area.	Autom.	2006	DBLP DOI BibTeX RDF
20	Eli Gafni	Renaming with k-Set-Consensus: An Optimal Algorithm into n + k - 1 Slots.	OPODIS	2006	DBLP DOI BibTeX RDF
20	Jeremy David Singer	Static program analysis based on virtual register renaming.		2006	RDF
20	Taqi N. Buti, Robert G. McDonald, Zakaria Khwaja, Asit Ambekar, Hung Q. Le, William E. Burky, Bert Williams	Organization and implementation of the register-renaming mapper for out-of-order IBM POWER4 processors.	IBM J. Res. Dev.	2005	DBLP BibTeX RDF
20	Stelvio Cimato, Alfredo De Santis, Umberto Ferraro Petrillo	Overcoming the obfuscation of Java programs by identifier renaming.	J. Syst. Softw.	2005	DBLP DOI BibTeX RDF
20	Monika Kapus-Kolar	A generalization of the E-LOTOS renaming operator: a convenience for specification of new forms of process composition.	Comput. Stand. Interfaces	2004	DBLP DOI BibTeX RDF
20	Guido Malpohl, James J. Hunt, Walter F. Tichy	Renaming Detection.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	configuration management, merging, static semantics, deltas
20	Michel Raynal	The Renaming Problem as an Introduction to Structures for Wait-Free Computing.	PaCT	2003	DBLP DOI BibTeX RDF
20	Tony Clark 0001, Andy Evans, Stuart Kent 0001	A Metamodel for Package Extension with Renaming.	UML	2002	DBLP DOI BibTeX RDF
20	L. Wang, Ted C. Yang	On the Boosting of Instruction Scheduling by Renaming.	J. Supercomput.	2001	DBLP DOI BibTeX RDF
20	Hagit Attiya, Arie Fouren	Adaptive and Efficient Algorithms for Lattice Agreement and Renaming.	SIAM J. Comput.	2001	DBLP DOI BibTeX RDF
20	Perry H. Wang, Hong Wang 0003, Ralph-Michael Kling, Kalpana Ramakrishnan, John Paul Shen	Register Renaming and Scheduling for Dynamic Execution of Predicated Code.	HPCA	2001	DBLP DOI BibTeX RDF
20	Pedro López 0001, José Flich, José Duato	Deadlock-Free Routing in InfiniBand through Destination Renaming.	ICPP	2001	DBLP DOI BibTeX RDF
20	David May 0001, Henk L. Muller, Nigel P. Smart	Random Register Renaming to Foil DPA.	CHES	2001	DBLP DOI BibTeX RDF
20	Kohei Honda 0001	Elementary structures in process theory (1): Sets with renaming.	Math. Struct. Comput. Sci.	2000	DBLP BibTeX RDF
20	Xumin Nie, Qing Guo	Renaming a Set of Non-Horn Clauses.	J. Comput. Sci. Technol.	2000	DBLP DOI BibTeX RDF
20	Teresa Monreal, Antonio González 0001, Mateo Valero, José González 0002, Víctor Viñals	Dynamic Register Renaming Through Virtual-Physical Registers.	J. Instr. Level Parallelism	2000	DBLP BibTeX RDF
20	Lori Carter, Beth Simon, Brad Calder, Larry Carter, Jeanne Ferrante	Path Analysis and Renaming for Predicated Instruction Scheduling.	Int. J. Parallel Program.	2000	DBLP DOI BibTeX RDF
20	Andrew M. Pitts, Murdoch Gabbay	A Metalanguage for Programming with Bound Names Modulo Renaming.	MPC	2000	DBLP DOI BibTeX RDF
20	Gary S. Tyson, Todd M. Austin	Memory Renaming: Fast, Early and Accurate Processing of Memory Communication.	Int. J. Parallel Program.	1999	DBLP DOI BibTeX RDF
20	Glenn Reinman, Brad Calder, Dean M. Tullsen, Gary S. Tyson, Todd M. Austin	Classifying load and store instructions for memory renaming.	International Conference on Supercomputing	1999	DBLP DOI BibTeX RDF
20	Yehuda Afek, Michael Merritt	Fast, Wait-Free (2k)-Renaming.	PODC	1999	DBLP DOI BibTeX RDF
20	Yehuda Afek, Hagit Attiya, Arie Fouren, Gideon Stupp, Dan Touitou	Long-Lived Renaming Made Adaptive.	PODC	1999	DBLP DOI BibTeX RDF
20	Mark Moir	Fast, Long-Lived Renaming Improved and Simplified.	Sci. Comput. Program.	1998	DBLP DOI BibTeX RDF
20	Hagit Attiya, Arie Fouren	Adaptive Wait-Free Algorithms for Lattice Agreement and Renaming (Extended Abstract).	PODC	1998	DBLP DOI BibTeX RDF
20	Martin Farach, S. Muthukrishnan 0001	Optimal Parallel Randomized Renaming.	Inf. Process. Lett.	1997	DBLP DOI BibTeX RDF
20	Mark Moir, Juan A. Garay	Fast, Long-Lived Renaming Improved and Simplified (Abstract).	PODC	1996	DBLP DOI BibTeX RDF
20	Creigton Asato	A 14-port 3.8-ns 116-word 64-b read-renaming register file.	IEEE J. Solid State Circuits	1995	DBLP DOI BibTeX RDF
20	Jean-Jacques Hébrard	Unique Horn Renaming an Unique 2-Satisfiability.	Inf. Process. Lett.	1995	DBLP DOI BibTeX RDF
20	Mark Moir, James H. Anderson	Wait-Free Algorithms for Fast, Long-Lived Renaming.	Sci. Comput. Program.	1995	DBLP DOI BibTeX RDF
20	Harry Buhrman, Juan A. Garay, Jaap-Henk Hoepman, Mark Moir	Long-Lived Renaming Made Fast.	PODC	1995	DBLP DOI BibTeX RDF
20	Jean-Jacques Hébrard	A Linear Algorithm for Renaming a Set of Clauses as a Horn Set.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
20	Joseph Gil	Renaming and dispersing: Techniques for Fast Load Balancing.	J. Parallel Distributed Comput.	1994	DBLP DOI BibTeX RDF
20	Manuel M. Ammann, Robert D. Cameron	Inter-Module Renaming and Reorganizing: Examples of Program Manipulation-in-the-Large.	ICSM	1994	DBLP DOI BibTeX RDF
20	Mayan Moudgill, Keshav Pingali, Stamatis Vassiliadis	Register renaming and dynamic speculation: an alternative approach.	MICRO	1993	DBLP DOI BibTeX RDF
20	Elizabeth Borowsky, Eli Gafni	Immediate Atomic Snapshots and Fast Renaming (Extended Abstract).	PODC	1993	DBLP DOI BibTeX RDF
20	Alexandru Nicolau, Roni Potasman, Haigeng Wang	Register Allocation, Renaming and Their Impact on Fine-Grain Parallelism.	LCPC	1991	DBLP DOI BibTeX RDF
20	Thierry Boy de la Tour	Optimisation par renommage dans la méthode de résolution. (Optimizations by renaming in the resolution method).		1991	RDF
20	Thierry Boy de la Tour, Gilles Chaminade	The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving.	AIMSA	1990	DBLP BibTeX RDF
20	G. Lindhorst, Farhad Shahrokhi	On Renaming a Set of Clauses as a Horn Set.	Inf. Process. Lett.	1989	DBLP DOI BibTeX RDF
20	Jos C. M. Baeten, Jan A. Bergstra	Global Renaming Operators in Concrete Process Algebra	Inf. Comput.	1988	DBLP DOI BibTeX RDF
20	Ron Cytron, Jeanne Ferrante	What's In a Name? -or- The Value of Renaming for Parallelism Detection and Storage Allocation.	ICPP	1987	DBLP BibTeX RDF
20	Heikki Mannila, Kurt Mehlhorn	A Fast Algorithm for Renaming a Set of Clauses as a Horn Set.	Inf. Process. Lett.	1985	DBLP DOI BibTeX RDF
20	Harry R. Lewis	Renaming a Set of Clauses as a Horn Set.	J. ACM	1978	DBLP DOI BibTeX RDF
20	Bernard Meltzer	Theorem-Proving for Computers: Some Results on Resolution and Renaming.	Comput. J.	1966	DBLP DOI BibTeX RDF
20	Louis Fein	Renaming the PTGEC.	IEEE Trans. Electron. Comput.	1963	DBLP DOI BibTeX RDF
19	Patricia Jablonski, Daqing Hou	Aiding Software Maintenance with Copy-and-Paste Clone-Awareness.	ICPC	2010	DBLP DOI BibTeX RDF	copy-and-paste programming, identifier renaming, Java, code clone, Eclipse integrated development environment
19	Maziar Goudarzi, Tohru Ishihara	Instruction cache leakage reduction by changing register operands and using asymmetric sram cells.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	asymmetric sram, leakage, instruction cache, register renaming
19	Michel Raynal	Synchronization is Coming Back, But is it the Same?	AINA	2008	DBLP DOI BibTeX RDF	Adaptive renaming, Atomic snapshot, Test & set, t-Resilience, Shared memory, Reduction, Asynchronous system, Process crash, Atomic register, Set agreement, Wait-free algorithm
19	Elham Safi, Patrick Akl, Andreas Moshovos, Andreas G. Veneris, Aggeliki Arapoyanni	On the latency, energy and area of checkpointed, superscalar register alias tables.	ISLPED	2007	DBLP DOI BibTeX RDF	latency, checkpointing, energy, register renaming
19	Erika Gunadi, Mikko H. Lipasti	Power-aware operand delivery.	ISLPED	2007	DBLP DOI BibTeX RDF	power, microarchitecture, renaming
19	Weiwu Hu, Fuxin Zhang, Zusong Li	Microarchitecture of the Godson-2 Processor.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	superscalar pipeline, dynamic scheduling non-blocking cache, load speculation, branch prediction, out-of-order execution, register renaming
19	Diomidis Spinellis	Global Analysis and Transformations in Preprocessed Languages.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	reverse engineering, C++, C, Refactoring, renaming, preprocessor, program families
19	Andreas Moshovos	Checkpointing alternatives for high performance, power-aware processors.	ISLPED	2003	DBLP DOI BibTeX RDF	checkpointing, power-aware, out-of-order execution, renaming, power density
19	M. Watheq El-Kharashi, Fayez El Guibaly, Kin F. Li	Adapting Tomasulo's algorithm for bytecode folding based Java processors.	SIGARCH Comput. Archit. News	2001	DBLP DOI BibTeX RDF	instruction shelving, java bytecode folding, java stack folding, reservation stations, stack processors, tomasulo's algorithm, java, Java, java virtual machine, dynamic scheduling, java processors, register renaming
19	Rad Silvera, Jian Wang, Ramaswamy Govindarajan, Guang R. Gao	A Register Pressure Sensitive Instruction Scheduler for Dynamic Issue Processors.	IEEE PACT	1997	DBLP DOI BibTeX RDF	Scheduling, register renaming, out-of-order issue, Register Pressure
11	Hui Zeng, Matt T. Yourst, Kanad Ghose	An energy-efficient checkpointing mechanism for out of order commit processor.	ISLPED	2009	DBLP DOI BibTeX RDF	checkpoint, microprocessor
11	Suriya Subramanian, Kathryn S. McKinley	HeDGE: Hybrid Dataflow Graph Execution in the Issue Logic.	HiPEAC	2009	DBLP DOI BibTeX RDF
11	Shailender Chaudhry, Robert Cypher, Magnus Ekman, Martin Karlsson, Anders Landin, Sherman Yip, Håkan Zeffer, Marc Tremblay	Simultaneous speculative threading: a novel pipeline architecture implemented in sun's rock processor.	ISCA	2009	DBLP DOI BibTeX RDF	checkpoint-based architecture, hardware speculation, sst, chip multiprocessor, cmp, instruction-level parallelism, processor architecture, memory-level parallelism
11	Raimar Falke, Pierre Frenzel, Rainer Koschke	Empirical evaluation of clone detection using syntax suffix trees.	Empir. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Software clone detection, Software maintenance, Program analysis, Redundancy, Software evolution, Duplication
11	Yorick Wilks	The Semantic Web: Apotheosis of Annotation, but What Are Its Semantics?	IEEE Intell. Syst.	2008	DBLP DOI BibTeX RDF	World Wide Web, Semantic Web, artificial Intelligence, natural language processing, language models, n-grams, meaning, biological databases, corpora
11	Changyan Zhou, Ratnesh Kumar 0001	Prioritized Synchronization Under Mask for Control and Interaction of Partially Observed Event-Driven Systems.	IEEE Trans Autom. Sci. Eng.	2008	DBLP DOI BibTeX RDF
11	Qing Shi Gao, Xiao Yu Gao, Lei Xu 0001	A Probability Theory Perspective on the Zadeh Fuzzy System.	Data Mining: Foundations and Practice	2008	DBLP DOI BibTeX RDF
11	Subhajit Roy 0001, Y. N. Srikant	Improving flow-insensitive solutions for non-separable dataflow problems.	SAC	2008	DBLP DOI BibTeX RDF	compilers, compiler optimizations, dataflow analysis
11	Xiaotong Zhuang, Suhyun Kim, Mauricio J. Serrano, Jong-Deok Choi	Perfdiff: a framework for performance difference analysis in a virtual machine environment.	CGO	2008	DBLP DOI BibTeX RDF	virtual machine, performance comparison
11	Brigitte Pientka	A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions.	POPL	2008	DBLP DOI BibTeX RDF	type system, logical frameworks
11	Sam Bryfczynski	OrganicPad: a tablet PC based chemistry tool.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF
11	Frederico Pratas, Georgi Gaydadjiev, Mladen Berekovic, Leonel Sousa, Stefanos Kaxiras	Low power microarchitecture with instruction reuse.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	loop reusing technique, reorder buffer optimization, superscalar processor, power reduction
11	Peter Clark	Knowledge Patterns.	EKAW	2008	DBLP DOI BibTeX RDF
11	Stephen J. Hegner	Information-Optimal Reflections of View Updates on Relational Database Schemata.	FoIKS	2008	DBLP DOI BibTeX RDF	view, update
11	Maziar Goudarzi, Tohru Ishihara, Hamid Noori	Variation-Aware Software Techniques for Cache Leakage Reduction Using Value-Dependence of SRAM Leakage Due to Within-Die Process Variation.	HiPEAC	2008	DBLP DOI BibTeX RDF	process variation, cache memory, Leakage power, power reduction
11	Ki Yung Ahn, Tim Sheard	Shared subtypes: subtyping recursive parametrized algebraic data types.	Haskell	2008	DBLP DOI BibTeX RDF	parametrized types, sharing representation, subtype, subtyping, recursive types, gadts, datatypes, algebraic data types
11	Woo-Cheol Kwon, Sungjoo Yoo, Sung-Min Hong, Byeong Min, Kyu-Myung Choi, Soo-Kwan Eo	A practical approach of memory access parallelization to exploit multiple off-chip DDR memories.	DAC	2008	DBLP DOI BibTeX RDF	parallelization, memory, arbitration
11	Michele Baggi, Moreno Falaschi, Demis Ballis	XML Semantic Filtering via Ontology Reasoning.	ICIW	2008	DBLP DOI BibTeX RDF	XML semantic filtering, query language, ontology reasoning
11	Carmit Hazay, Moshe Lewenstein, Dina Sokol	Approximate parameterized matching.	ACM Trans. Algorithms	2007	DBLP DOI BibTeX RDF	mismatch pair, parameterize match, Hamming distance, maximum matching
11	Wu-An Kuo, Yi-Ling Chiang, TingTing Hwang, Allen C.-H. Wu	Performance-Driven Crosstalk Elimination at Postcompiler Level-The Case of Low-Crosstalk Op-Code Assignment.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
11	Albert Meixner, Daniel J. Sorin	Error Detection Using Dynamic Dataflow Verification.	PACT	2007	DBLP DOI BibTeX RDF
11	Suhyun Kim, Soo-Mook Moon	Rotating Register Allocation for Enhanced Pipeline Scheduling.	PACT	2007	DBLP DOI BibTeX RDF
11	Xuehai Qian, He Huang, Hao Zhang 0009, Guoping Long, Junchao Zhang, Dongrui Fan	Design and Implementation of Floating Point Stack on General RISC Architecture.	PDP	2007	DBLP DOI BibTeX RDF