Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,464,191 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Communicating X-Machine
Computational biology
Computational economics
Functional testing
Expand
Broader (1)
Theory of computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Multi-Physics Integration Framework MuPIF – design , operation and application to simulate CIGS thin film growth for photovoltaics ICME 2016
B. Patzák
,
V. Šmilauer
,
M. Apel
,
R. Altenfeld
,
L. Thielen
,
A. Lankhorst
2016
Corpus ID: 36308564
A reliable multiscale/multiphysics numerical modeling requires including all relevant physical phenomena along the process chain…
Expand
2015
2015
Impact of scaled tidal stream turbine over mobilesediment beds
R. R. Mendoza
,
L. Amoudry
,
+7 authors
Lada Vybulkova
2015
Corpus ID: 131833319
Tidal stream turbines (TST) have been identified as a desirable technology for harnessing tidal energy. Measur ement and…
Expand
Review
2014
Review
2014
Cost Effective Manufacturing and Optimal Design of X-Stream Trims for Severe Service Control Valves
M. Charlton
2014
Corpus ID: 109041317
Control valves are used under severe service conditions for a wide range of applications. These valves are installed with X…
Expand
2008
2008
Automatic Test Case Generation for BPEL Using Stream X-Machine
Chunyan Ma
,
Junsheng Wu
,
Tao Zhang
,
Yunpeng Zhang
,
Xiaobin Cai
2008
Corpus ID: 14480300
To generate test cases for the unit testing of business process written in BPEL, developers have to prepare input data for the…
Expand
2008
2008
X-stream inclusion
M. D. Groot
,
H. Lodal
,
Hitomi Masuhara
,
D. Moore
,
T. Pioro
,
J. Shelton
2008
Corpus ID: 166781101
Teaching
2008
2008
X-Stream in MaDAM : new junction modelling in macroscopic dynamic traffic assignment models
M. Schilpzand
2008
Corpus ID: 127140987
Macroscopic Dynamic Traffic Assignment (MDTA) models are widely used tools to forecast the impact of proposed traffic investments…
Expand
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 †
J. Tanner
,
S. Agah
,
Yong-Hwan Lee
,
M. Henzl
2005
Corpus ID: 28089631
Simultaneous replacement of Asp-94 with serine and Gly-98 with glutamate in rat R-parvalbumin creates a CD-site ligand array in…
Expand
2005
2005
Oconee Stream Crayfish
J. Price
2005
Corpus ID: 86343487
The Oconee stream crayfish is olive green with dark olive brown mottling, organgish or yellow to red fingertips, and robust…
Expand
2002
2002
X-Stream: the most comprehensive glass furnace simulation tool
P. Simons
,
A. Twerda
,
+4 authors
B. Paarhuis
2002
Corpus ID: 137874425
Mathematical simulation is one of the most powerful tools for the design, optimisation and trouble shooting of glass melting…
Expand
1994
1994
Analyses of heterogeneous tandem links, part I: per-session performance of an ATM multiplexer
R. I. Balay
,
A. Nilsson
1994
Corpus ID: 15249618
In this paper we present analyses to study the performance of a session at a single switching node on an ATM network with…
Expand