Skip to search formSkip to main contentSkip to account menu

Stream X-Machine

Known as: SXM, SXM (computational model) 
The Stream X-machine (SXM) is a model of computation introduced by Gilbert Laycock in his 1993 PhD thesis, The Theory and Practice of Specification… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Communicating X-MachineComputational biologyComputational economicsFunctional testing

Broader (1)

Theory of computation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Clustering of robotic environment using image data stream
Mobile robots are being used in various applications like space shuttles, intelligent home security, military applications or… 
2015
2015
The Effect of Isolation by Waterfalls and Dams on Stream Fish Morphology
2015
2015
Fast Iterative Graph Computation with Resource Aware Graph Parallel Abstractions
Iterative computation on large graphs has challenged system research from two aspects: (1) how to conduct high performance… 
2015
2015
Impact of scaled tidal stream turbine over mobilesediment beds
Tidal stream turbines (TST) have been identified as a desirable technology for harnessing tidal energy. Measur ement and… 
2010
2010
Modeling Agent-Based Systems Using X-Machine and Z Notation
  • G. AliN. Zafar
  • Second International Conference on Communication…
  • 2010
  • Corpus ID: 17733030
Developing correct and complete real-world software applications is a difficult task in terms of the number and flexibility of… 
2008
2008
Testing BPEL with Stream X-Machine
To generate test cases for the unit testing of business process written in BPEL, developers have to prepare input data for the… 
2008
2008
Automatic Test Case Generation for BPEL Using Stream X-Machine
To generate test cases for the unit testing of business process written in BPEL, developers have to prepare input data for the… 
2008
2008
X-stream inclusion
Teaching 
2005
2005
Crystal Structure of the D 94 S / G 98 E Variant of Rat R-Parvalbumin . An Explanation for the Reduced Divalent Ion Affinity †
Simultaneous replacement of Asp-94 with serine and Gly-98 with glutamate in rat R-parvalbumin creates a CD-site ligand array in… 
2001
2001
The geomorphology of palaeo-ice streams : identification, characterisation and implications for ice stream functioning
Ice streams are the dominant drainage pathways of contemporary ice sheets and their location and behaviour are viewed as key… 
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)