Results 21 to 30 of about 683 (202)
An Expressive Framework for Verifying Deadlock Freedom [PDF]
, 2013 This paper presents an expressive specification and verification framework for ensuring deadlock freedom of shared-memory concurrent programs that manipulate locks. We introduce a novel delayed lockset checking technique to guarantee deadlock freedom of programs with interactions between thread and lock operations.
Duy-Khanh Le +2 more
openaire +1 more source
Verification of Building Blocks for Asynchronous Circuits [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Scalable formal verification constitutes an important challenge for the design of asynchronous circuits. Deadlock freedom is a property that is desired but hard to verify. It is an emergent property that has to be verified monolithically.
Freek Verbeek, Julien Schmaltz
doaj +1 more source
Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks [PDF]
Logical Methods in Computer ScienceWe tackle the challenge of ensuring the deadlock-freedom property for message-passing processes that communicate asynchronously in cyclic process networks. Our contributions are twofold.
Bas van den Heuvel, Jorge A. Pérez
doaj +1 more source
Supervenient Freedom and the Free Will Deadlock [PDF]
Disputatio, 2017 Abstract Supervenient libertarianism maintains that indeterminism may exist at a supervening agency level, consistent with determinism at a subvening physical level. It seems as if this approach has the potential to break the longstanding deadlock in the free will debate, since it concedes to the traditional incompatibilist that agents ...
Nadine Elzein, Tuomas K. Pernu
openaire +1 more source
Russian Journal of Economics and Law, 2021 Objective: to check the hypothesis of the existence of a cognitive deadlock in the socialist political economy in the USSRin the 1970s, which led to stagnation in political and economic research.Methods: discursive analysis, dialectics, hermeneutics ...
R. M. Nureev, P. A. Orekhovsky
doaj +1 more source
Verifying Deadlock-Freedom of Communication Fabrics [PDF]
, 2011 Avoiding message dependent deadlocks in communication fabrics is critical for modern microarchitectures. If discovered late in the design cycle, deadlocks lead to missed project deadlines and suboptimal design decisions. One approach to avoid this problem is to get high level of confidence on an early microarchitectural model. However, formal proofs of
Alexander Gotmanov +2 more
openaire +1 more source
An Approach for Enumerating Minimal Siphons in a Subclass of Petri Nets
IEEE Access, 2018 Siphons, as a structural object of Petri nets (PNs), are closely related to deadlock-freedom in PNs. Efficient siphon computation is of great importance in developing siphon-based deadlock control strategies with good performance. This paper is concerned
Dan You +4 more
doaj +1 more source
The Baha’i Religion: Maqasid Syariah of Social Religious Frictions in Indonesia
Fikrah: Jurnal Ilmu Aqidah dan Studi Keagamaan, 2023 The contestation of conversation about the Baha'i religious group in Indonesia continues from time to time. In valuable retrospect, there has been much debate that characterizes the existence of the Baha'i group.
Shofiyullah Muzammil
doaj +1 more source
Ideology and moral: relationship of norm and ideal in the light of synergetic philosophy of history [PDF]
E3S Web of Conferences, 2020 The formation of notions about the mechanism of transition from the social order to the chaos and vice versa - from the chaos to a new order, represented by the synergetic philosophy of history, which is entirely based on the ideas of V.P.
Busov Sergey +2 more
doaj +1 more source
Towards Sophisticated Air Traffic Control System Using Formal Methods
Modelling and Simulation in Engineering, 2018 We propose a general formal modeling and verification of the air traffic control system (ATC). This study is based on the International Civil Aviation Organization (ICAO), Federal Aviation Administration (FAA), and National Aeronautics and Space ...
Abdessamad Jarrar, Youssef Balouki
doaj +1 more source