Results 11 to 20 of about 14,353 (287)
A Practical View on Renaming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We revisit variable renaming from a practitioner's point of view, presenting concepts we found useful in dealing with operational semantics of pure Prolog.
Marija Kulaš
doaj +6 more sources
The Complexity of Renaming [PDF]
2011 IEEE 52nd Annual Symposium on Foundations of Computer Science, 2011 We study the complexity of renaming, a fundamental problem in distributed computing in which a set of processes need to pick distinct names from a given namespace. We prove an individual lower bound of \Omega( k ) process steps for deterministic renaming into any namespace of size sub-exponential in k, where k is the number of participants.
Dan Alistarh +3 more
openaire +5 more sources
Renaming in an asynchronous environment
Journal of the ACM, 1990 This paper is concerned with the solvability of the problem of processor renaming in unreliable, completely asynchronous distributed systems. Fischer et al. prove in [8] that “nontrivial consensus” cannot be attained in such systems, even when only a single, benign processor failure is possible.
Hagit Attiya +4 more
openaire +3 more sources
, 2013 This paper presents a novel high performance substrate for building energy-efficient out-of-order superscalar cores. The architecture does not require a reorder buffer or physical registers for register renaming and instruction retirement. Instead, it uses a large number of virtual register IDs for register renaming, a physical register file of the ...
Mageda Sharafeddine +2 more
openaire +3 more sources
Epidemiology and Psychiatric Sciences, 2018 AbstractThe movement towards renaming of schizophrenia in Japan started in 1993 upon receipt of a letter by The National Federation of Families with Mentally Ill in Japan addressed to the board of Japanese Society of Psychiatry of Neurology (JSPN), requesting to rename schizophrenia as the then-official term for the condition, Seishin-Bunretsu-Byo, or ‘
Toshimasa, Maruta, Chihiro, Matsumoto
openaire +2 more sources
Renaming schizophrenia: 5 × 5 [PDF]
Epidemiology and Psychiatric Sciences, 2018 AbstractThere had been a long way to go before we felt comfortable about even discussing the issues revolving around the concept of ‘schizophrenia’, let alone reckoning on mere semantic revision. In this editorial, we aim to extend our discussion on the reasons behind the slow death of the concept of ‘schizophrenia’ and the benefits of changing the ...
Guloksuz, Sinan, van Os, Jim
openaire +3 more sources
Efficient Renaming in Sequence CRDTs [PDF]
IEEE Transactions on Parallel and Distributed Systems, 2020 To achieve high availability, large-scale distributed systems have to replicate data and to minimise coordination between nodes. Literature and industry increasingly adopt Conflict-free Replicated Data Types (CRDTs) to design such systems. CRDTs are data types which behave as traditional ones, e.g. the Set or the Sequence.
Matthieu Nicolas +2 more
openaire +4 more sources
Investigating the Onomastic necessity of using Afrocentric names over Eurocentric ones in the renaming of South African Geographical Features [PDF]
E-Journal of Humanities, Arts and Social SciencesThis article investigated the onomastic need to use Afrocentric names as replacements for Eurocentric ones when renaming South African geographical features.
Francinah M. Motupa +2 more
doaj +1 more source
Place Renaming and German Policy-Making in Temporarily Occupied Soviet Territories [PDF]
Вопросы ономастики, 2020 The article discusses the transfer of territory-remapping strategies by Nazi Germany from Europe to the occupied territories of the USSR, with a particular focus on place renaming. Measures concerning toponymy and onomastics were generally well-rooted in
Marina V. Datsishina
doaj +1 more source