Search results for "renaming"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Antonio Mastropaolo, Emad Aghajani, Luca Pascarella, Gabriele Bavota	Automated variable renaming: are we there yet?	Empir. Softw. Eng.	2023	DBLP DOI BibTeX RDF
20	Clemencia Siro, Tunde Oluwaseyi Ajayi	Evaluating the Robustness of Machine Reading Comprehension Models to Low Resource Entity Renaming.	CoRR	2023	DBLP DOI BibTeX RDF
20	Jingxuan Zhang, Junpeng Luo, Jiahui Liang, Lina Gong, Zhiqiu Huang	An Accurate Identifier Renaming Prediction and Suggestion Approach.	ACM Trans. Softw. Eng. Methodol.	2023	DBLP DOI BibTeX RDF
20	Andrei Popescu 0001	Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version.	J. Autom. Reason.	2023	DBLP DOI BibTeX RDF
20	Mengru Han, Yan Gu	What's new in a name? Chinese people's perception of the renaming of COVID-19.	CogSci	2023	DBLP BibTeX RDF
20	Clemencia Siro, Tunde Oluwaseyi Ajayi	Evaluating the Robustness of Machine Reading Comprehension Models to Low Resource Entity Renaming.	AfricaNLP	2023	DBLP BibTeX RDF
20	Junpeng Luo, Jingxuan Zhang, Zhiqiu Huang, Yong Xu, Chenxing Sun	Toward an accurate method renaming approach via structural and lexical analyses.	Frontiers Inf. Technol. Electron. Eng.	2022	DBLP DOI BibTeX RDF
20	Ritu Garg, Rakesh Kumar Singh	SBHDetector: A Fuzzy-Based Hybrid Approach to Detect Renaming and Shifting Between Versions.	Int. J. Open Source Softw. Process.	2022	DBLP DOI BibTeX RDF
20	Matthieu Nicolas, Gérald Oster, Olivier Perrin 0001	Efficient Renaming in Sequence CRDTs.	IEEE Trans. Parallel Distributed Syst.	2022	DBLP DOI BibTeX RDF
20	Antonio Mastropaolo, Emad Aghajani, Luca Pascarella, Gabriele Bavota	Automated Variable Renaming: Are We There Yet?	CoRR	2022	DBLP DOI BibTeX RDF
20	Andrei Popescu 0001	Rensets and Renaming-Based Recursion for Syntax with Bindings.	CoRR	2022	DBLP DOI BibTeX RDF
20	Yiannakis Sazeides, Alex Gerber, Ron Gabor, Arkady Bramnik, George Papadimitriou 0001, Dimitris Gizopoulos, Chrysostomos Nicopoulos, Giorgos Dimitrakopoulos, Karyofyllis Patsidis	IDLD: Instantaneous Detection of Leakage and Duplication of Identifiers used for Register Renaming.	MICRO	2022	DBLP DOI BibTeX RDF
20	Jun Yan 0012, Yang Xiao, Sagnik Mukherjee, Bill Yuchen Lin, Robin Jia, Xiang Ren 0001	On the Robustness of Reading Comprehension Models to Entity Renaming.	NAACL-HLT	2022	DBLP DOI BibTeX RDF
20	Andrei Popescu 0001	Rensets and Renaming-Based Recursion for Syntax with Bindings.	IJCAR	2022	DBLP DOI BibTeX RDF
20	Abhishek Bhattacharyya, Abhijith Somashekhar, Joshua San Miguel	NvMR: non-volatile memory renaming for intermittent computing.	ISCA	2022	DBLP DOI BibTeX RDF
20	Huixin Zhan, Victor S. Sheng, Wei-Ming Lin	Reinforcement learning-based register renaming policy for simultaneous multithreading CPUs.	Expert Syst. Appl.	2021	DBLP DOI BibTeX RDF
20	Michele Basaldella	α β-Relations and the Actual Meaning of α-Renaming.	ACM Trans. Comput. Log.	2021	DBLP DOI BibTeX RDF
20	Petra Berenbrink, André Brinkmann, Robert Elsässer, Tom Friedetzky, Lars Nagel 0001	Randomized renaming in shared memory systems.	J. Parallel Distributed Comput.	2021	DBLP DOI BibTeX RDF
20	Michael Christian Fink Amores, David Sabel	Complexity of Deciding Syntactic Equivalence up to Renaming for Term Rewriting Systems (Extended Version).	CoRR	2021	DBLP BibTeX RDF
20	Jun Yan 0012, Yang Xiao, Sagnik Mukherjee, Bill Yuchen Lin, Robin Jia, Xiang Ren 0001	On the Robustness of Reading Comprehension Models to Entity Renaming.	CoRR	2021	DBLP BibTeX RDF
20	Jiahui Liang, Weiqin Zou, Jingxuan Zhang, Zhiqiu Huang, Chenxing Sun	A Deep Method Renaming Prediction and Refinement Approach for Java Projects.	QRS	2021	DBLP DOI BibTeX RDF
20	Qiqi Gu, Wei Ke 0001	A Neural Architecture for Detecting Identifier Renaming from Diff.	IDEAL	2021	DBLP DOI BibTeX RDF
20	Helen Dong, Shurui Zhou, Jin L. C. Guo, Christian Kästner	Splitting, Renaming, Removing: A Study of Common Cleaning Activities in Jupyter Notebooks.	ASE Workshops	2021	DBLP DOI BibTeX RDF
20	Siva Nishok Dhanuskodi, Samuel Allen, Daniel E. Holcomb	Efficient Register Renaming Architectures for 8-bit AES Datapath at 0.55 pJ/bit in 16-nm FinFET.	IEEE Trans. Very Large Scale Integr. Syst.	2020	DBLP DOI BibTeX RDF
20	Dejan Spasov	Pipelined Serial Register Renaming.	ICT Innovations	2020	DBLP DOI BibTeX RDF
20	Satoshi Mitsuno, Junichiro Kadomoto, Toru Koizumi 0001, Ryota Shioya, Hidetsugu Irie, Shuichi Sakai	A High-Performance Out-of-Order Soft Processor Without Register Renaming.	FPL	2020	DBLP DOI BibTeX RDF
20	Xianhua Liu 0001, Qinghong Yang, Miao Tao, Qinshu Chen, Xu Cheng	An Efficient Register Renaming Technique with Delayed Allocation and Register Packing.	ICECS	2020	DBLP DOI BibTeX RDF
20	Dejan Spasov	Sequential Register Renaming.	MIPRO	2020	DBLP DOI BibTeX RDF
20	Joshua Moerman, Jurriaan Rot	Separation and Renaming in Nominal Sets.	CSL	2020	DBLP DOI BibTeX RDF
20	Matthieu Nicolas, Gérald Oster, Olivier Perrin 0001	Efficient renaming in sequence CRDTs.	PaPoC@EuroSys	2020	DBLP DOI BibTeX RDF
20	Christoph Beierle, Jonas Haldimann	Transforming Conditional Knowledge Bases into Renaming Normal Form.	FLAIRS	2020	DBLP BibTeX RDF
20	Ipoom Jeong, Changmin Lee 0002, Keunsoo Kim, Won Woo Ro	OverCome: Coarse-Grained Instruction Commit with Handover Register Renaming.	IEEE Trans. Computers	2019	DBLP DOI BibTeX RDF
20	Joshua Moerman, Jurriaan Rot	Separation and Renaming in Nominal Sets.	CoRR	2019	DBLP BibTeX RDF
20	Hagit Attiya, Armando Castañeda, Maurice Herlihy, Ami Paz	Bounds on the Step and Namespace Complexity of Renaming.	SIAM J. Comput.	2019	DBLP DOI BibTeX RDF
20	Ron Gabor, Yiannakis Sazeides, Arkady Bramnik, Alexandros Andreou, Chrysostomos Nicopoulos, Karyofyllis Patsidis, Dimitris Konstantinou, Giorgos Dimitrakopoulos	Error-Shielded Register Renaming Sub-system for a Dynamically Scheduled Out-of-Order Core.	DATE	2019	DBLP DOI BibTeX RDF
20	Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens	Characterising renaming within OCaml's module system: theory and implementation.	PLDI	2019	DBLP DOI BibTeX RDF
20	Aurélie Hurault, Philippe Quéinnec	Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +.	TAP@FM	2019	DBLP DOI BibTeX RDF
20	Christoph Beierle, Steven Kutsch	Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence.	JELIA	2019	DBLP DOI BibTeX RDF
20	Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens	Rotor: a tool for renaming values in OCaml's module system.	IWOR@ICSE	2019	DBLP DOI BibTeX RDF
20	Yosuke Isobe, Haruaki Tamada	Design and Evaluation of the De-obfuscation Method against the Identifier Renaming Methods.	Int. J. Networked Distributed Comput.	2018	DBLP DOI BibTeX RDF
20	Anaïs Durand, Michel Raynal, Gadi Taubenfeld	Set Agreement and Renaming in the Presence of Contention-Related Crash Failures.	SSS	2018	DBLP DOI BibTeX RDF
20	Hidetsugu Irie, Toru Koizumi 0001, Akifumi Fukuda, Seiya Akaki, Satoshi Nakae, Yutaro Bessho, Ryota Shioya, Takahiro Notsu, Katsuhiro Yoda, Teruo Ishihara, Shuichi Sakai	STRAIGHT: Hazardless Processor Architecture Without Register Renaming.	MICRO	2018	DBLP DOI BibTeX RDF
20	Hamid Tabani, José-María Arnau, Jordi Tubella, Antonio González 0001	A Novel Register Renaming Technique for Out-of-Order Processors.	HPCA	2018	DBLP DOI BibTeX RDF
20	Eran Gilad, Tehila Mayzels, Elazar Raab, Mark Oskin, Yoav Etsion	Architectural Support for Unlimited Memory Versioning and Renaming.	IPDPS	2018	DBLP DOI BibTeX RDF
20	Jeremy Lacomis, Alan Jaffe, Edward J. Schwartz, Claire Le Goues, Bogdan Vasilescu	Statistical Machine Translation Is a Natural Fit for Automatic Identifier Renaming in Software Source Code.	AAAI Workshops	2018	DBLP BibTeX RDF
20	Junichiro Kadomoto, Toru Koizumi 0001, Akifumi Fukuda, Reoma Matsuo, Susumu Mashimo, Akifumi Fujita, Ryota Shioya, Hidetsugu Irie, Shuichi Sakai	An Area-Efficient Out-of-Order Soft-Core Processor Without Register Renaming.	FPT	2018	DBLP DOI BibTeX RDF
20	Yosuke Isobe, Haruaki Tamada	Are Identifier Renaming Methods Secure?	SNPD	2018	DBLP DOI BibTeX RDF
20	Prasanth Chatarasi, Jun Shirako, Albert Cohen 0001, Vivek Sarkar	A Unified Approach to Variable Renaming for Enhanced Vectorization.	LCPC	2018	DBLP DOI BibTeX RDF
20	Eran Gilad	Parallel Execution Using Memory Versioning And Renaming.		2018	RDF
20	Marija Kulas	A Practical View on Renaming.	WLP / WFLP	2017	DBLP DOI BibTeX RDF
20	Matteo Sottana, Carla Piazza, Andrea Albarelli	Efficient Computation of Renaming Functions for ρ-reversible Discrete and Continuous Time Markov Chains.	VALUETOOLS	2017	DBLP DOI BibTeX RDF
20	Andrea Marin, Sabina Rossi	Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming.	ASMTA	2017	DBLP DOI BibTeX RDF
20	Siva Nishok Dhanuskodi, Daniel E. Holcomb	An improved clocking methodology for energy efficient low area AES architectures using register renaming.	ISLPED	2017	DBLP DOI BibTeX RDF
20	David Sabel	Alpha-renaming of higher-order meta-expressions.	PPDP	2017	DBLP DOI BibTeX RDF
20	Olaf Leßenich, Sven Apel, Christian Kästner, Georg Seibt, Janet Siegmund	Renaming and shifted code in structured merging: looking ahead for precision and performance.	ASE	2017	DBLP DOI BibTeX RDF
20	Maurice Herlihy	Renaming.	Encyclopedia of Algorithms	2016	DBLP DOI BibTeX RDF
20	Hagit Attiya, Ami Paz	Counting-based impossibility proofs for set agreement and renaming.	J. Parallel Distributed Comput.	2016	DBLP DOI BibTeX RDF
20	Ali Khosravi	Business process rearrangement and renaming: A new approach to process orientation and improvement.	Bus. Process. Manag. J.	2016	DBLP DOI BibTeX RDF
20	Julien Cohen	Renaming Global Variables in C Mechanically Proved Correct.	VPT@ETAPS	2016	DBLP DOI BibTeX RDF
20	Maryam Helmi, Lisa Higham, Philipp Woelfel	Space Bounds for Adaptive Renaming.	CoRR	2016	DBLP BibTeX RDF
20	Sabina Rossi, Andrea Marin	On Discrete Time Reversibility modulo State Renaming and its Applications.	EAI Endorsed Trans. Self Adapt. Syst.	2015	DBLP DOI BibTeX RDF
20	Hui Liu 0003, Qiurong Liu, Yang Liu, Zhouding Wang	Identifying Renaming Opportunities by Expanding Conducted Rename Refactorings.	IEEE Trans. Software Eng.	2015	DBLP DOI BibTeX RDF
20	Dan Alistarh	The Renaming Problem: Recent Developments and Open Questions.	Bull. EATCS	2015	DBLP BibTeX RDF
20	David Bonnin, Corentin Travers	Splitting and Renaming with a Majority of Faulty Processes.	ICDCN	2015	DBLP DOI BibTeX RDF
20	Petra Berenbrink, André Brinkmann, Robert Elsässer, Tom Friedetzky, Lars Nagel 0001	Randomized Renaming in Shared Memory Systems.	IPDPS	2015	DBLP DOI BibTeX RDF
20	Salvador Petit, Rafael Ubal, Julio Sahuquillo, Pedro López 0001	Efficient Register Renaming and Recovery for High-Performance Processors.	IEEE Trans. Very Large Scale Integr. Syst.	2014	DBLP DOI BibTeX RDF
20	Bart Hazes	CDSbank: taxonomy-aware extraction, selection, renaming and formatting of protein-coding DNA or amino acid sequences.	BMC Bioinform.	2014	DBLP DOI BibTeX RDF
20	Armando Castañeda, Maurice Herlihy, Sergio Rajsbaum	An Equivariance Theorem with Applications to Renaming.	Algorithmica	2014	DBLP DOI BibTeX RDF
20	Dan Alistarh, James Aspnes, Keren Censor-Hillel, Seth Gilbert, Rachid Guerraoui	Tight Bounds for Asynchronous Renaming.	J. ACM	2014	DBLP DOI BibTeX RDF
20	Komal Jothi, Haitham Akkary	Tuning the continual flow pipeline architecture with virtual register renaming.	ACM Trans. Archit. Code Optim.	2014	DBLP DOI BibTeX RDF
20	Dan Alistarh, Justin Kopinsky, Alexander Matveev, Nir Shavit	The LevelArray: A Fast, Practical Long-Lived Renaming Algorithm.	CoRR	2014	DBLP BibTeX RDF
20	Sabina Rossi, Andrea Marin	On Discrete Time Reversibility modulo State Renaming and its Applications. (DOI:10.4108/icst.valuetools.2014.258200 reused by journals/sas/RossiM15)	VALUETOOLS	2014	DBLP BibTeX RDF
20	Maryam Helmi, Lisa Higham, Philipp Woelfel	Space Bounds for Adaptive Renaming.	DISC	2014	DBLP DOI BibTeX RDF
20	Dan Alistarh, Oksana Denysyuk, Luís E. T. Rodrigues, Nir Shavit	Balls-into-leaves: sub-logarithmic renaming in synchronous message-passing systems.	PODC	2014	DBLP DOI BibTeX RDF
20	Dan Alistarh, Justin Kopinsky, Alexander Matveev, Nir Shavit	The LevelArray: A Fast, Practical Long-Lived Renaming Algorithm.	ICDCS	2014	DBLP DOI BibTeX RDF
20	Mageda Sharafeddine, Haitham Akkary, Doug Carmean	Virtual Register Renaming.	ARCS	2013	DBLP DOI BibTeX RDF
20	George Giakkoupis, Anne-Marie Kermarrec, Philipp Woelfel	Gossip Protocols for Renaming and Sorting.	DISC	2013	DBLP DOI BibTeX RDF
20	Armando Castañeda, Michel Raynal	On the Consensus Number of Non-adaptive Perfect Renaming.	NETYS	2013	DBLP DOI BibTeX RDF
20	Hagit Attiya, Armando Castañeda, Maurice Herlihy, Ami Paz	Upper bound on the complexity of solving hard renaming.	PODC	2013	DBLP DOI BibTeX RDF
20	Dan Alistarh, James Aspnes, George Giakkoupis, Philipp Woelfel	Randomized loose renaming in O(log log n) time.	PODC	2013	DBLP DOI BibTeX RDF
20	Oksana Denysyuk, Luís E. T. Rodrigues	Byzantine renaming in synchronous systems with t	PODC	2013	DBLP DOI BibTeX RDF
20	Oksana Denysyuk, Luís E. T. Rodrigues	Order-Preserving Renaming in Synchronous Systems with Byzantine Faults.	ICDCS	2013	DBLP DOI BibTeX RDF
20	Komal Jothi, Haitham Akkary	Virtual register renaming: energy efficient substrate for continual flow pipelines.	ACM Great Lakes Symposium on VLSI	2013	DBLP DOI BibTeX RDF
20	Yehuda Afek, Petr Kuznetsov, Israel Nir	Renaming and the weakest family of failure detectors.	Distributed Comput.	2012	DBLP DOI BibTeX RDF
20	Armando Castañeda, Sergio Rajsbaum	New combinatorial topology bounds for renaming: The upper bound.	J. ACM	2012	DBLP DOI BibTeX RDF
20	Oksana Denysyuk, Luís E. T. Rodrigues	Order-preserving Renaming in Synchronous Message Passing Systems with Byzantine Faults	CoRR	2012	DBLP BibTeX RDF
20	Hagit Attiya, Ami Paz	Counting-Based Impossibility Proofs for Renaming and Set Agreement.	DISC	2012	DBLP DOI BibTeX RDF
20	Oksana Denysyuk, Luís E. T. Rodrigues	Brief announcement: order-preserving renaming in synchronous message passing systems with byzantine faults.	PODC	2012	DBLP DOI BibTeX RDF
20	Armando Castañeda, Sergio Rajsbaum, Michel Raynal	Brief announcement: there are plenty of tasks weaker than perfect renaming and stronger than set agreement.	PODC	2012	DBLP DOI BibTeX RDF
20	Armando Castañeda, Michel Raynal, Julien Stainer	When and How Process Groups Can Be Used to Reduce the Renaming Space.	OPODIS	2012	DBLP DOI BibTeX RDF
20	Dan Alistarh, Hagit Attiya, Rachid Guerraoui, Corentin Travers	Early Deciding Synchronous Renaming in O( logf ) Rounds or Less.	SIROCCO	2012	DBLP DOI BibTeX RDF
20	Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Tien N. Nguyen	BabelRef: Detection and renaming tool for cross-language program entities in dynamic web applications.	ICSE	2012	DBLP DOI BibTeX RDF
20	Armando Castañeda, Maurice Herlihy, Sergio Rajsbaum	An Equivariance Theorem with Applications to Renaming.	LATIN	2012	DBLP DOI BibTeX RDF
20	Elham Safi, Andreas Moshovos, Andreas G. Veneris	Two-Stage, Pipelined Register Renaming.	IEEE Trans. Very Large Scale Integr. Syst.	2011	DBLP DOI BibTeX RDF
20	Alex Brodsky, Faith Ellen, Philipp Woelfel	Fully-adaptive algorithms for long-lived renaming.	Distributed Comput.	2011	DBLP DOI BibTeX RDF
20	Pieter Bellens, Josep M. Pérez, Rosa M. Badia, Jesús Labarta	Making the Best of Temporal Locality: Just-in-Time Renaming and Lazy Write-Back on the Cell/B.E.	Int. J. High Perform. Comput. Appl.	2011	DBLP DOI BibTeX RDF
20	Armando Castañeda, Sergio Rajsbaum, Michel Raynal	The renaming problem in shared memory systems: An introduction.	Comput. Sci. Rev.	2011	DBLP DOI BibTeX RDF
20	Armando Castañeda, Maurice Herlihy, Sergio Rajsbaum	An Equivariance Theorem with Applications to Renaming (Preliminary Version)	CoRR	2011	DBLP BibTeX RDF
20	Dan Alistarh, James Aspnes, Seth Gilbert, Rachid Guerraoui	The Complexity of Renaming.	FOCS	2011	DBLP DOI BibTeX RDF
20	Dan Alistarh, James Aspnes, Keren Censor-Hillel, Seth Gilbert, Morteza Zadimoghaddam	Optimal-time adaptive strong renaming, with applications to counting.	PODC	2011	DBLP DOI BibTeX RDF