Results 31 to 40 of about 46,896 (292)

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs [PDF]

, 2016
A number of novel programming languages and libraries have been proposed that offer simpler-to-use models of concurrency than threads. It is challenging, however, to devise execution models that successfully realise their abstractions without forfeiting ...
A Corradini, A Rensink, A Rensink, AH Ghamarian, Alexander Heußner, B Meyer, B Meyer, B Morandi, D Lucanu, EB Johnsen, G Agha, G Geeraerts, G Rosu, J Armstrong, J Meseguer, J Meseguer, J Schäfer, J Tschannen, JS Ostroff, P Backes, PJ Brooke, PJ Brooke, S West, TF Şerbănuţă   +23 more
core   +3 more sources

Concurrency control for distributed cooperative engineering applications [PDF]

Proceedings of the 2002 ACM symposium on Applied computing, 2002
Distributed cooperative engineering applications require consistent and long-term sharing of large volumes of data, which may cause conflicts due to concurrent read/write operations. Therefore designing concurrency control for underlying middleware systems is a difficult issue.Current transactional solutions, even if based on an optimistic approach, do
João Coelho Garcia, Paulo Ferreira
openaire   +1 more source

Actors that Unify Threads and Events [PDF]

, 2007
There is an impedance mismatch between message-passing concurrency and virtual machines, such as the JVM. VMs usually map their threads to heavyweight OS processes.
B. Chin, C. Varela, C.E. Hewitt, C.T. Haynes, D. Lea, D.A. Thomas, E. Gamma, G.A. Agha, H.C. Lauer, J. Armstrong, J.H. Nyström, P. Haller, R.P. Draves, T. Harris, T. Lindholm   +14 more
core   +1 more source

LF+ in Coq for "fast and loose" reasoning

Journal of Formalized Reasoning, 2019
We develop the metatheory and the implementation of LF+, and discuss several applications. LF+ capitalizes on research work, carried out by the authors over more than a decade, on Logical Frameworks.
Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto   +5 more
doaj   +1 more source

CSMA/CQ: A Novel SDN-Based Design to Enable Concurrent Execution of Channel Contention and Data Transmission in IEEE 802.11 Networks

IEEE Access, 2017
Conventional 802.11 carrier sense multiple access/collision avoidance (CSMA/CA) networks perform channel contention and data transmission serially over a whole channel. This leads to low throughput efficiency.
Qinglin Zhao, Fangxin Xu, Jie Yang, Yujun Zhang   +3 more
doaj   +1 more source

Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems [PDF]

, 2021
Jie Xu, Brian Randell, Alexander Romanovsky, Robert J. Stroud, Avelino F. Zorzo   +4 more
openalex   +2 more sources

Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency Models [PDF]

, 2010
The upcoming many-core architectures require software developers to exploit concurrency to utilize available computational power. Today's high-level language virtual machines (VMs), which are a cornerstone of software development, do not provide ...
A. Peymandoust, Alastair R. Beresford, Andreas Gal Albert Noll, Bram Adams, Bratin Saha, Carl Hewitt, Charles Antony Richard Hoare, Charles R. Johns, Chen-Yong Cher, Colin Blundell, David Ungar, David Wentzlaff, Doug Lea, ECMA International, Edward A. Lee, freescale semiconductor, Georg Sorst, Gul Agha, Hans Schippers, Haris Volos, Intel Corporation, James Gosling, Jim Gray, John A. Trono, John S. Danaher, John Zigman, Jos'e M. Piquer, Kevin Casey, Kevin Williams, Larry Seiler, Lukasz Ziarek, M. Anton Ertl, Mark S. Miller, Maurice Herlihy, Michael Haupt, Michael R. Marty, Nir Shavit, Pascal Costanza, Philipp Haller, Rajesh K. Karmani, Robert D. Blumofe, Robert Virding, Simon Gay, Sriram Srinivasan, Stefan Marr, Stefan Marr, Stijn Timbermont, Theo D'Hondt, Thomas Kistler, Tom Van Cutsem, Uwe Kastens, Vijay A. Saraswat, Virendra J. Marathe, Wenzhang Zhu, Wolfgang De Meuter, Xu Wang, Yaoqing Gao   +56 more
core   +3 more sources

Brief Announcement: On the Correctness of Transaction Processing with External Dependency [PDF]

, 2019
We briefly introduce a unified model to characterize correctness levels stronger (or equal to) serializability in the presence of application invariant.
Hassan, Ahmed, Javidi Kishi, Masoomeh, Palmieri, Roberto   +2 more
core   +1 more source

A distributed concurrency control mechanism for XML data

Journal of Computer and System Sciences, 2009
AbstractXML has become a standard for data exchange in many fields of application. Thus, a huge amount of data in this format is spread around Web and is stored in different ways. In order to manage the access of this data, concurrency control techniques have been adopted. Nevertheless, most of these techniques are developed on centralized environments
Moreira, Leonardo O., Sousa, Flávio R.C., Machado, Javam C.   +2 more
openaire   +1 more source

PICALM::MLLT10 translocated leukemia

FEBS Letters, EarlyView.
This comprehensive review of PICALM::MLLT10 translocated acute leukemia provides an in‐depth review of the structure and function of CALM, AF10, and the fusion oncoprotein (1). The multifaceted molecular mechanisms of oncogenesis, including nucleocytoplasmic shuttling (2), epigenetic modifications (3), and disruption of endocytosis (4), are then ...
John M. Cullen, Antonia C. Nakatsugawa, Natalie Barton, Henry Haines, Gary S. Stein, Janet L. Stein, Daniel S. Wechsler, Jessica L. Heath   +7 more
wiley   +1 more source