Results 31 to 40 of about 75,647 (354)
Truly stateless, optimal dynamic partial order reduction
Dynamic partial order reduction (DPOR) verifies concurrent programs by exploring all their interleavings up to some equivalence relation, such as the Mazurkiewicz trace equivalence. Doing so involves a complex trade-off between space and time.
Michalis Kokologiannakis+3 more
semanticscholar +1 more source
A group of people of nomadic lifestyle in eastern Afghanistan has reportedly recently been forcibly relocated because of their lack of identity documents: yet another cause of displacement in Afghanistan that requires a just and sustainable solution.
Maira Kuppers
openaire +3 more sources
The Role of the United Nations High Commissioner for Refugees (UNHCR) in Dealing with Stateless Problems in Malaysia [PDF]
This study discusses the role of the United Nations High Commissioner for Refugees (UNHCR) in dealing with stateless problems in Malaysia from 2014-2017.
Rijal, Najamuddin Khairur+1 more
core +1 more source
In order to accurately mine outliers and reduce the impact of outliers on communication data, a multi-scale outlier mining algorithm for stateless communication data in IPv6 remote monitoring network was investigated.The stateless communication data were
Kun LIU+3 more
doaj +2 more sources
“They Stopped the Lives of Others”: Stateless Palestinians Facing Bureaucratic Violence in Sweden
Official calls for “failed” asylum seekers to leave Sweden ignore the difficulties and harms befalling stateless people who cannot return to previous countries of residence because they lack citizenship.
Anna Lundberg
doaj +1 more source
Challenging the Practice of Administrative Detention for Stateless Persons in South Africa
In South Africa section 41 of the Immigration Act requires any person approached on reasonable grounds by a police or immigration officer to identify themselves either as a citizen or as a person lawfully present in the Republic.
Fatima Khan
doaj +1 more source
Stateless Distributed Ledgers [PDF]
In public distributed ledger technologies (DLTs), such as Blockchains, nodes can join and leave the network at any time. A major challenge occurs when a new node joining the network wants to retrieve the current state of the ledger. Indeed, that node may receive conflicting information from honest and Byzantine nodes, making it difficult to identify ...
Bonnet, François+2 more
openaire +3 more sources
This study extends Thaddeus and Maine’s (1994) “three delays” framework to model the interrelated barriers to maternal health care and birth registration.
Amanda R. Cheong, M. A. K. Baltazar
semanticscholar +1 more source
The Cost of Stateless Network Functions in 5G
The adoption of a cloud-native architecture in 5G networks has facilitated rapid deployment and update of cellular services. An important part of this architecture is the implementation of 5G network functions statelessly.
U. Kulkarni, Amit Sheoran, S. Fahmy
semanticscholar +1 more source
A framework for FPGA functional units in high performance computing [PDF]
FPGAs make it practical to speed up a program by defining hardware functional units that perform calculations faster than can be achieved in software. Specialised digital circuits avoid the overhead of executing sequences of instructions, and they make
Koltes, A., O'Donnell, J.T.
core +1 more source