io-port.net

The world\rq s shortest correct exact real arithmetic program? (English)

Inf. Comput. 216, 39-46 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06094886 Rast, Alexander; Galluppi, Francesco; Davies, Sergio; Plana, Luis; Patterson, Cameron; Sharp, Thomas; Lester, David; Furber, Steve

Concurrent heterogeneous neural model simulation on real-time neuromimetic hardware. (English)

Neural Netw. 24, No. 9, 961-978 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05986437 Webb, Andrew; Davies, Sergio; Lester, David

Spiking neural PID controllers. (English)

Lu, Bao-Liang (ed.) et al., Neural information processing. 18th international conference, ICONIP 2011, Shanghai, China, November 13‒17, 2011. Proceedings, Part III. Berlin: Springer (ISBN 978-3-642-24964-8/pbk). Lecture Notes in Computer Science 7064, 259-267 (2011).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70475608 Webb, Andrew; Davies, Sergio; Lester, David R.

Spiking neural PID controllers (English)

ICONIP (3), 259-267 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70274948 Abutheraa, Mohammed A.; Lester, David R.

Machine-efficient Chebyshev approximation for exact arithmetic: their use with first-order ordinary differential equations (English)

SpringSim, 84 (2010).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70487696 Brown, Andrew D.; Furber, Steve; Reeve, Jeff S.; Wilson, Peter R.; Zwolinski, Mark; Chad, John E.; Plana, Luis A.; Lester, David R.

A communication infrastructure for a million processor machine (English)

Conf. Computing Frontiers, 75-76 (2010).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05594457 Brown, Andrew; Lester, David; Plana, Luis; Furber, Steve; Wilson, Peter

SpiNNaker: The design automation problem. (English)

Köppen, Mario (ed.) et al., Advances in neuro-information processing. 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25‒28, 2008. Revised selected papers, Part II. Berlin: Springer (ISBN 978-3-642-03039-0/pbk). Lecture Notes in Computer Science 5507, 1049-1056 (2009).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50176341 Daumas, Marc; Lester, David R.; Muñoz, César

Verified real number calculations: A library for interval arithmetic (English)

IEEE Trans. Computers 58, No. 2, 226-237 (2009).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05378183 Lester, David R

Real number calculations and theorem proving. Validation and use of an exact arithmetic. (English)

Mohamed, Otmane Ait (ed.) et al., Theorem proving in higher order logics. 21st international conference, TPHOLs 2008, Montreal, Canada, August 18‒21, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-71065-3/pbk). Lecture Notes in Computer Science 5170, 215-229 (2008).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70030729 Sitthisak, Onjira; Gilbert, Lester; Davis, Hugh C.

Transforming a competency model to assessment items (English)

WEBIST (1), 333-338 (2008).

10

PDF XML AMS-TeX TEXT BIBTeX

io-port 70030938 Sitthisak, Onjira; Gilbert, Lester; Davis, Hugh C.

Transforming a competency model to parameterised questions in assessment (English)

WEBIST (Selected Papers), 390-403 (2008).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70474696 Brown, Andrew D.; Lester, David R.; Plana, Luis A.; Furber, Steve; Wilson, Peter R.

Spinnaker: the design automation problem (English)

ICONIP (2), 1049-1056 (2008).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70647617 Lester, David R.

Real number calculations and theorem proving (English)

TPHOLs, 215-229 (2008).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70783096 Sitthisak, Onjira; Gilbert, Lester; Davis, Hugh C.

Deriving E-assessment from a competency model (English)

ICALT, 327-329 (2008).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70900457 Khan, Muhammad Mukaram; Lester, David R.; Plana, Luis A.; Rast, Alexander D.; Jin, Xin; Painkras, E.; Furber, Stephen B.

Spinnaker: mapping neural networks onto a massively-parallel chip multiprocessor (English)

IJCNN, 2849-2856 (2008).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05406775 Daumas, Marc; Lester, David; Muñoz, César

Verified real number calculations: A library for interval arithmetic. (English)

Comput. Res. Repos. 2007, Article No. 0708.3721 (2007).

16

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70519483 Daumas, Marc; Lester, David R.

Stochastic formal methods: an application to accuracy of numeric software (English)

HICSS, 262 (2007).

17

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70783042 Sitthisak, Onjira; Gilbert, Lester; Davis, Hugh C.; Gobbi, Mary

Adapting health care competencies to a formal competency model (English)

ICALT, 172-174 (2007).

18

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05405908 Daumas, Marc; Lester, David

Stochastic formal methods: An application to accuracy of numeric software. (English)

Comput. Res. Repos. 2006, Article No. 0606101 (2006).

19

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05404526 Daumas, Marc; Lester, David

Stochastic formal methods for rare failure events due to the accumulation of errors. (English)

Comput. Res. Repos. 2006, Article No. 0610110 (2006).

20

PDF XML AMS-TeX TEXT BIBTeX URL