Skip to search formSkip to main contentSkip to account menu

Shared Variables

Known as: APL Shared Variables, Shared variable 
Shared Variables are a feature of the programming language APL which allows APL programs running on mainframe computers to communicate with other… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
The verification of multithreaded software is still a challenge. This comes mainly from the fact that the number of thread… 
2007
2007
Formal methods have emerged as a rigorous framework for developing correct parallel and distributed software. However… 
2003
2003
Shared memory multiprocessor systems typically provide a set of hardware primitives in order to support synchronization… 
Highly Cited
2002
Highly Cited
2002
In this paper, we propose a way of exploiting Operations Research techniques within global constraints for cost-based domain… 
2002
2002
We define a concurrent mobile system as one where independently executing components may migrate through some space during the… 
1997
1997
This paper proposes a method for formal real-time systems development. At high level a system is modelled as a conventional… 
1995
1995
Current Remote Procedure Call (RPC) services implement a variety of semantics, with many of the differences related to how… 
1994
1994
A load cell has a ring shaped deformation element with a triangular cross section, the apex of the cross section extending… 
Highly Cited
1979
Highly Cited
1979