Works matching IS 00104620 AND DT 1992 AND VI 35 AND IP 6

Results: 36

Additional Papers.

Published in:: Computer Journal, 1992, v. 35, n. 6, p. 669, doi. 10.1093/comjnl/35.6.669
Publication type:: Article

Errata.

Published in:: Computer Journal, 1992, v. 35, n. 6, p. 670, doi. 10.1093/comjnl/35.6.670
Publication type:: Article

Announcement.

Published in:: Computer Journal, 1992, v. 35, n. 6, p. 668-a, doi. 10.1093/comjnl/35.6.668-a
Publication type:: Article

Software Reuse Guidelines and Method.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 668, doi. 10.1093/comjnl/35.6.668

By:

Wallis, Peter

Publication type:

Article

Reverse Chaining for Answering Temporal Logical Queries.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 666, doi. 10.1093/comjnl/35.6.666

By:

Manolopoulos, Y.

Publication type:

Article

On Equivalent Systolic Designs of LU Decomposition and Its Algebraic Representation.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 662, doi. 10.1093/comjnl/35.6.662

By:

Hou, Y-C.;
Tsay, J-C.

Publication type:

Article

A Short Note on Perfectly Balanced Binary Search Trees.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 660, doi. 10.1093/comjnl/35.6.660

By:

Korah, A. P.;
Kaimal, M. R.

Publication type:

Article

A Record-Oriented Cryptosystem for Database Sharing.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 658, doi. 10.1093/comjnl/35.6.658

By:

Lin, C. H.;
Chang, C. C.;
Lee, R. C. T.

Publication type:

Article

Occupancy Models for the Estimation of Block Accesses.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 654, doi. 10.1093/comjnl/35.6.654

By:

Eastman, C. M.;
Trueblood, R. P.

Publication type:

Article

SIMSTRICT: A Behavioural Simulator for Use with the STRICT Hardware Description Language.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 651, doi. 10.1093/comjnl/35.6.651

By:

Robson, A. P.;
Kinniment, D. J.

Publication type:

Article

Book Review.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 650-a, doi. 10.1093/comjnl/35.6.650-a

By:

MacCallum, M. A. H.

Publication type:

Article

Book Review.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 650, doi. 10.1093/comjnl/35.6.650

By:

Massara, R. E.

Publication type:

Article

Fast Stable Merging and Sorting in Constant Extra Space*.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 643, doi. 10.1093/comjnl/35.6.643

By:

Huang, B-C.;
Langston, M. A.

Publication type:

Article

Announcement.

Published in:: Computer Journal, 1992, v. 35, n. 6, p. 642, doi. 10.1093/comjnl/35.6.642
Publication type:: Article

A Fast Radix Sort.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 636, doi. 10.1093/comjnl/35.6.636

By:

Davis, I. J.

Publication type:

Article

Announcement.

Published in:: Computer Journal, 1992, v. 35, n. 6, p. 635, doi. 10.1093/comjnl/35.6.635
Publication type:: Article

Adding Flexibility to Hybrid Number Systems*.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 630, doi. 10.1093/comjnl/35.6.630

By:

Barsi, F.;
Pinotti, M. C.

Publication type:

Article

CD-ROMS in Print: an International Guide to CD-ROM, CD-I, CDTV & Electronic Book Product.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 629, doi. 10.1093/comjnl/35.6.629

By:

Mak, J.

Publication type:

Article

AI Multilanguage System McPOPLOG: The Power of Communication Between its Subsystems*.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 625, doi. 10.1093/comjnl/35.6.625

By:

Bruha, I.

Publication type:

Article

VLSI Design of Neural Networks,.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 624, doi. 10.1093/comjnl/35.6.624

By:

Clarkson, Trevor

Publication type:

Article

Automatic Translation of VDM Specifications into Standard ML Programs.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 623, doi. 10.1093/comjnl/35.6.623

By:

O'Neill, G.

Publication type:

Article

Formal Specification of a Data Dictionary for an Extended ER Data Model.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 611, doi. 10.1093/comjnl/35.6.611

By:

Mišić, V.;
Velašević, D.;
Lazarević, B.

Publication type:

Article

Announcement.

Published in:: Computer Journal, 1992, v. 35, n. 6, p. 610-a, doi. 10.1093/comjnl/35.6.610-a
Publication type:: Article

The Integration of Expert Systems into Mainstream Software.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 610, doi. 10.1093/comjnl/35.6.610

By:

Cooley, R. E.

Publication type:

Article

Integrated Structured Analysis and Formal Specification Techniques.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 600, doi. 10.1093/comjnl/35.6.600

By:

Semmens, L. T.;
France, R. B.;
Docker, T. W. G.

Publication type:

Article

Announcement.

Published in:: Computer Journal, 1992, v. 35, n. 6, p. 599, doi. 10.1093/comjnl/35.6.599
Publication type:: Article

Formal Methods: Use and Relevance for the Development of Safety-Critical Systems.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 579, doi. 10.1093/comjnl/35.6.579

By:

Barroca, L. M.;
McDermid, J. A.

Publication type:

Article

Notice.

Published in:: Computer Journal, 1992, v. 35, n. 6, p. 578, doi. 10.1093/comjnl/35.6.578
Publication type:: Article

A Technique for Analyzing the Effects of Changes in Formal Specifications.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 574, doi. 10.1093/comjnl/35.6.574

By:

Kuhn, D. R.

Publication type:

Article

A Compiler Writer's Toolbox.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 573, doi. 10.1093/comjnl/35.6.573

By:

Bishop, J.

Publication type:

Article

Standards for Non-Executable Specification Languages.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 567, doi. 10.1093/comjnl/35.6.567

By:

Larsen, P. G.;
Plat, N.

Publication type:

Article

A Higher-Order Approach to Parallel Algorithms.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 555, doi. 10.1093/comjnl/35.6.555

By:

Harrison, P. G.

Publication type:

Article

Special Issue on Spatial Data – Call for Papers.

Published in:: Computer Journal, 1992, v. 35, n. 6, p. 554-a, doi. 10.1093/comjnl/35.6.554-a
Publication type:: Article

Programming with VDM.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 554, doi. 10.1093/comjnl/35.6.554

By:

Moore, R.

Publication type:

Article

How to Produce Correct Software – An Introduction to Formal Specification and Program Development by Transformations.

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 547, doi. 10.1093/comjnl/35.6.547

By:

Boiten, E. A.;
Partsch, H. A.;
Tuijnman, D.;
Völker, N.

Publication type:

Article

Editorial – Formal Methods: What? Why? and When?

Published in:

Computer Journal, 1992, v. 35, n. 6, p. 545, doi. 10.1093/comjnl/35.6.545

By:

Cooke, John

Publication type:

Article