Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Related topics

Related topics

11 relations
.NET FrameworkAPLActiveXDatabase
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Industrial-Strength Model-Based Testing - State of the Art and Current Challenges
As of today, model-based testing (MBT) is considered as leading-edge technology in industry. We sketch the different MBT variants… Expand
  • table 1
  • figure 5
  • figure 6
  • figure 7
  • table 2
Is this relevant?
Highly Cited
2007
Highly Cited
2007
A Simple Distribution-Free Test for Nonnested Model Selection
This paper considers a simple distribution-free test for nonnested model selection. The new test is shown to be asymptotically… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Schedulability analysis of fixed-priority systems using timed automata
In classic scheduling theory, real-time tasks are usually assumed to be periodic, i.e. tasks are released and computed with fixed… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2004
Highly Cited
2004
State/Event-Based Software Model Checking
We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker
Abstract. Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Types for Safe Locking
A race condition is a situation where two threads manipulate a data structure simultaneously, without synchronization. Race… Expand
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Automated Fabrication: Improving Productivity in Manufacturing
Based on extensive research, this reference shows how automated fabrication--also known as desktop manufacturing and rapid… Expand
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Abstraction by Time-Scale in Qualitative Simulation
Qualitative simulation faces an intrinsic problem of scale: the number of limit hypotheses grows exponentially with the number of… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1984
Highly Cited
1984
Dynamic decentralized cache schemes for mimd parallel processors
This paper presents two cache schemes for a shared-memory shared bus multiprocessor. Both schemes feature decentralized… Expand
  • table 1
  • figure 3-1
  • figure 6-1
  • figure 6-2
  • figure 7-1
Is this relevant?
Highly Cited
1979
Highly Cited
1979
Multiple-person alternation
  • G. Peterson, J. Reif
  • 20th Annual Symposium on Foundations of Computer…
  • 1979
    • Corpus ID: 18788114
We generalize the alternation machines of Chandra, Kozen and Stockmeyer [1] and the private alternation machines of Reif [14] to… Expand
  • table 2
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE