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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
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
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
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
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
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
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
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
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
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
  • 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?