Results 41 to 50 of about 683 (202)

Proving Deadlock Freedom in Component-Based Programming [PDF]

, 2001
Emerging technologies such as commercial off-the-shelf products (COTS) and component integration frameworks such as CORBA and COM are changing the way software is produced. Distributed applications are being designed as sets of autonomous, decoupled components, allowing rapid development based on integration of COTS and simplifying architectural ...
INVERARDI, PAOLA, Sebastian, Uchitel
openaire   +3 more sources

Superatom Distortion Induces Triferroicity and Spin Splitting in Two‐Dimensional Antiferromagnets

Advanced Science, EarlyView.
The incorporation of superatoms into a 2D square lattice induces symmetry breaking, thereby enabling concurrent coupling among magnetism, ferroelectricity, and ferroelasticity. This strategy achieves triferroic behavior—characterized by spin‐split antiferromagnetic ground states—and offers a viable pathway toward energy‐efficient spintronic devices ...
Zhen Gao, Fengxian Ma, Guoping Gao, Weizhen Meng, Ying Liu, Yandong Ma, Yalong Jiao   +6 more
wiley   +1 more source

Crash-Stop Failures in Asynchronous Multiparty Session Types [PDF]

Logical Methods in Computer Science
Session types provide a typing discipline for message-passing systems. However, their theory often assumes an ideal world: one in which everything is reliable and without failures. Yet this is in stark contrast with distributed systems in the real world.
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou   +3 more
doaj   +1 more source

Human‐in‐the‐Loop Swarms: A Bionic Swarm Approach to Real‐World Soil Mapping

Advanced Intelligent Systems, EarlyView.
This article introduces the “Bionic Swarm,” a novel system that lowers the barriers to real‐world swarm validation by abstracting difficult hardware tasks to app‐guided human agents. We demonstrate the system's utility through the experimental validation of a geotechnical soil‐mapping swarm algorithm and show superior performance to baseline approaches
Petras Swissler, Mohammadali Rashidioun, Nicholas Sahu, Raaid Kabir, Ayodeji Aderibigbe, Oladoyin Kolawole   +5 more
wiley   +1 more source

‘It's all very well having a diverse curriculum, but if there is no curriculum, it can be as diverse as you like’: Precarity and decolonising in the neoliberal UK higher education system

British Educational Research Journal, EarlyView.
Abstract Drawing upon interview research across two academic departments as part of the early stages of a ‘decolonise the curriculum’ initiative at a Southern UK university, this study highlights a growing gulf between policy and practice in efforts to address systemic racial inequalities in UK universities. A reliance upon precarious labour, a culture
Triona Fitton, Barbara Adewumi, Laura R. Bailey, Jacob W. Moore, Lauren‐Marie Aba Amoah   +4 more
wiley   +1 more source

Individual Mobility and the Sense of “Deadlock”

SAGE Open, 2014
Individual mobility is an outcome of the rapid changes in life; it is revealed in particular literary works within the end of the 19th century. Mobility is clearer in modern time as the individual has become physically freer in his movement.
Azhar Noori Fejer, Rosli Talif
doaj   +1 more source

Digital Rights Activism in Multilevel Governance

European Policy Analysis, EarlyView.
ABSTRACT Multilevel governance (MLG) without a clear hierarchical structure can create power imbalances among various actors, particularly in settings with overlapping jurisdictions and policy areas. This dynamic is especially pronounced in Internet governance, which faces a complex interplay of domestic laws, state interdependence, and heightened ...
Alison Harcourt
wiley   +1 more source

Real-Time Path Planning for Multi-DoF Manipulators in Dynamic Environment

International Journal of Advanced Robotic Systems, 2006
An efficient path planning algorithm, for multi degrees of freedom manipulator robots in dynamic environments, is presented in this paper. The proposed method is based on a local planner and a boundary following method for rapid solution finding.
Samir Lahouar, Said Zeghloul, Lotfi Romdhane   +2 more
doaj   +1 more source

Deadlock and deadlock freedom

, 1989
We introduce a number of techniques for establishing the deadlock freedom of concurrent systems. Our methods are based on the local analysis (or at worst a directed global analysis) of networks. We identify the relationships between these techniques and the range of their application within a framework of deadlock freedom types that we have defined. We
openaire   +1 more source

Globalizing Comparative Public Administration With Integrative Contextualization: State Autonomy in the Developmental Path of Hong Kong and Singapore

Public Administration and Development, EarlyView.
ABSTRACT The lack of a common variable for comparison has been a major obstacle to the development of Comparative Public Administration (CPA). State autonomy enables an integrative contextualization approach, allowing both the analysis of contextual individual country experiences and the generation of generalized comparable knowledge.
Wilson Wong
wiley   +1 more source