Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,317 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
.NET Framework
APL
ActiveX
Database
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Shared Memory Concurrent System Verification using Kronecker Algebra
Robert Mittermayr
,
Johann Blieberger
arXiv.org
2011
Corpus ID: 14761895
The verification of multithreaded software is still a challenge. This comes mainly from the fact that the number of thread…
Expand
2007
2007
Implementation Issues Concerning the Action Systems Formalism
Fredrik Degerlund
,
M. Waldén
,
K. Sere
International Conference on Parallel and…
2007
Corpus ID: 13861234
Formal methods have emerged as a rigorous framework for developing correct parallel and distributed software. However…
Expand
2003
2003
Reactive multiword synchronization for multiprocessors
P. Ha
,
P. Tsigas
International Conference on Parallel…
2003
Corpus ID: 6129844
Shared memory multiprocessor systems typically provide a set of hardware primitives in order to support synchronization…
Expand
Highly Cited
2002
Highly Cited
2002
Optimization-Oriented Global Constraints
Filippo Focacci
,
Andrea Lodi
,
M. Milano
Constraints
2002
Corpus ID: 23950098
In this paper, we propose a way of exploiting Operations Research techniques within global constraints for cost-based domain…
Expand
2002
2002
A Notation and Logic for Mobile Computing
G. Roman
,
P. McCann
Formal Methods Syst. Des.
2002
Corpus ID: 993076
We define a concurrent mobile system as one where independently executing components may migrate through some space during the…
Expand
1997
1997
Compositional Inductive Verification of Duration Properties of Real-Time Systems
Zhi-ming Liu
1997
Corpus ID: 7069628
This paper proposes a method for formal real-time systems development. At high level a system is modelled as a conventional…
Expand
1995
1995
Constructing a configurable group RPC service
M. Hiltunen
,
R. Schlichting
Proceedings of 15th International Conference on…
1995
Corpus ID: 17331136
Current Remote Procedure Call (RPC) services implement a variety of semantics, with many of the differences related to how…
Expand
1994
1994
The Charm Parallel Programming Language and System: Part I - Description of Language Features
L. Kalé
,
B. Ramkumar
,
Amitabh Sinha
,
A. Gursoy
1994
Corpus ID: 18962666
A load cell has a ring shaped deformation element with a triangular cross section, the apex of the cross section extending…
Expand
1992
1992
Performance effects of program structures on a snoop-cached multiprocessor system
N. Yamanouchi
Future generations computer systems
1992
Corpus ID: 5535778
Highly Cited
1979
Highly Cited
1979
Distributed Simulation of Networks
K. Chandy
,
V. Holmes
,
J. Misra
Comput. Networks
1979
Corpus ID: 29936934
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE