๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A syntactical chart method for program checking

โœ Scribed by I. V. Vel'bitskii; G. A. Mikhailov; E. L. Yushchenko

Publisher
Springer US
Year
1970
Tongue
English
Weight
245 KB
Volume
3
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

MPI-CHECK: a tool for checking Fortran 9
MPI-CHECK: a tool for checking Fortran 90 MPI programs
โœ Glenn Luecke; Hua Chen; James Coyle; Jim Hoekstra; Marina Kraeva; Yan Zou ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 115 KB ๐Ÿ‘ 1 views
A method for correcting non-linear chart
A method for correcting non-linear chart recorder output
โœ Smithson, P. A. ;Pickering, W. M. ๐Ÿ“‚ Article ๐Ÿ“… 1984 ๐Ÿ› Wiley (John Wiley & Sons) โš– 275 KB

Non-linear chart traces can be digitized if the output is corrected by a mathematical function. A procedure is described which is advantageous if the recorder output may be regarded as symmetric about the mid-point of the chart.

A syntactic analysis method for sinusoid
A syntactic analysis method for sinusoidal tracking eye movements
โœ Martti Juhola ๐Ÿ“‚ Article ๐Ÿ“… 1991 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 690 KB

A syntactic method for the recognition of sinusoidal eye movements is presented. The method is based on a piecewise transformation of an eye movement signal to strings of a formal language and use of a formal grammar which generates the formal language. Gain and phase parameters of sinusoidal eye mo