io-port.net

Whetstone wanderings. (English)

Jones, Cliff B. (ed.) et al., Dependable and historic computing. Essays dedicated to Brian Randell on the occasion of his 75th birthday. Berlin: Springer (ISBN 978-3-642-24540-4/pbk). Lecture Notes in Computer Science 6875, 84-92 (2011).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05540515 Wichmann, B.A.; Hill, I.D.

Generating good pseudo-random numbers. (English)

Comput. Stat. Data Anal. 51, No. 3, 1614-1622 (2006).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50006690 Wichmann, Brian A.; Hill, I. D.

Generating good pseudo-random numbers (English)

Computational Statistics & Data Analysis 51, No. 3, 1614-1622 (2006).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05083934 Croarken, Mary; Rutter, Dorian; Mann, Tony; Fedorec, Alex; Wichmann, Brian

Events & Sightings. (English)

IEEE Annals of the History of Computing 26, No.01, 68-70 (2004).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50258960 Croarken, Mary; Rutter, Dorian; Mann, Tony; Fedorec, Alexander M.; Wichmann, Brian A.

Events \& sightings (English)

IEEE Annals of the History of Computing 26, No. 1, 68-70 (2004).

5

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70804430 Michell, Stephen; Saaltink, Mark; Wichmann, Brian A.

Looking into safety with the safety and security rapporteur group (English)

SIGAda, 7-11 (1998).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05446845 Wichmann, Brian A.

Design of dependable ada software, by G. Motet, A. Mapinard and J. C. geoffroy, prentice Hall, 1995 (Book review). (English)

Softw. Test., Verif. Reliab. 6, No. 2, 115-116 (1996).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70612564 Parkin, Graeme I.; Wichmann, Brian A.

Conformity clause for VDM-SL (English)

FME, 501-520 (1993).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05446850 Wichmann, Brian A.; Cox, M.G.

Problems and strategies for software component testing standards. (English)

Softw. Test., Verif. Reliab. 2, No. 4, 167-185 (1992).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50239437 Wichmann, Brian A.

A note on the use of floating point in critical systems (English)

Comput. J. 35, No. 1, 41-44 (1992).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50082139 Payne, Mary; Schaffert, Craig; Wichmann, Brian A.

Proposal for a language compatible arithmetic standard (English)

SIGPLAN Notices 25, No. 1, 59-86 (1990).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50147123 Kempton, Willett; Wichmann, Brian A.

Run-time detection of undefined variables considered essential (English)

Softw., Pract. Exper. 20, No. 4, 391-402 (1990).

12

PDF XML AMS-TeX TEXT BIBTeX

io-port 50081499 Wichmann, Brian A.

Scientific processing in ISO-Pascal: a proposal to get the benefits of mixed precision floating-point (English)

SIGPLAN Notices 24, No. 6, 20-22 (1989).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50237412 Wichmann, Brian A.

Towards a formal specification of floating point (English)

Comput. J. 32, No. 5, 432-436 (1989).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 10002592 Watt, David A.; Wichmann, Brian A.; Findlay, William

Ada - language and methodology (English)

Prentice Hall International Series in Computer Science, I-XVII, 1-518 (1987).

15

PDF XML AMS-TeX TEXT BIBTeX

io-port 03795334 Wichmann, Brian A. (ed.); Ciechanowicz, Z.J. (ed.)

Pascal compiler validation. (English)

Chichester etc.: John Wiley \& Sons. XIII, 176 p. \sterling 9.75 (1983).

16

PDF XML AMS-TeX TEXT BIBTeX

io-port 03752183 Wichmann, B.A.

A comparison of Pascal and Ada. (English)

Comput. J. 25, 248-256 (1982).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50239021 Wichmann, Brian A.

A comparison of Pascal and ada (English)

Comput. J. 25, No. 2, 248-252 (1982).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70251741 Wichmann, Brian A.

The efficiency of Pascal (English)

Pascal - The Language and its Implementation, 49-55 (1981).

19

PDF XML AMS-TeX TEXT BIBTeX

io-port 60014796 Ichbiah, Jean; Barnes, John G. P.; Heliard, J. C.; Krieg-Brückner, Bernd; Roubine, Olivier; Wichmann, Brian A.

Modules and visibility in the ada programming language (English)

On the Construction of Programs, 153-192 (1980).

20

PDF XML AMS-TeX TEXT BIBTeX