Results 11 to 20 of about 82,276 (357)
A case for stateless mobile core network functions in space
Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, 2022 Is it worth and feasible to push mobile core network functions to low-earth-orbit (LEO) satellite mega-constellations? While this paradigm is being tested in space and promises new values, it also raises scalability, performance, and security concerns ...
Yuanjie Li +8 more
semanticscholar +1 more source
Stateless Model Checking under a Reads-Value-From Equivalence [PDF]
International Conference on Computer Aided Verification, 2021 Stateless model checking (SMC) is one of the standard approaches to the verification of concurrent programs. As scheduling non-determinism creates exponentially large spaces of thread interleavings, SMC attempts to partition this space into equivalence ...
Pratyush Agarwal +4 more
semanticscholar +1 more source
Citizenship Studies, 2022 This article develops a conceptual taxonomy of five emerging digital citizenship regimes: (i) the globalised and generalisable regime called pandemic citizenship that clarifies how post-COVID-19 datafication processes have amplified the emergence of four
Igor Calzada
semanticscholar +1 more source
Truly stateless, optimal dynamic partial order reduction
Proc. ACM Program. Lang., 2022 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
Dianxin kexue, 2023 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
Diponegoro Law Review, 2022 The issue of citizenship is one of the basic human needs, therefore citizenship status is a right for every citizen that is protected by law. The purpose of this study is to find out how the legal politics of Indonesia in the context of stateless person ...
Sekar Anggun Gading Pinilih +3 more
doaj +1 more source
“They Stopped the Lives of Others”: Stateless Palestinians Facing Bureaucratic Violence in Sweden
Refuge, 2023 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
African Human Mobility Review, 2023 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
A framework for FPGA functional units in high performance computing [PDF]
, 2010 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
Genus, 2021 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