Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Burrell, Michael J."'
Publikováno v:
In Theoretical Computer Science 2007 387(2):103-112
Autor:
Burrell, Michael J
Publikováno v:
Electronic Thesis and Dissertation Repository
We present a programming language in which every well-typed program halts in time polynomial with respect to its input and, more importantly, in which upper bounds on resource requirements can be inferred with certainty. Ensuring that software meets
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1548::95031e4d5f458ce6c73a6246d4c45027
https://ir.lib.uwo.ca/etd/4740
https://ir.lib.uwo.ca/etd/4740
Autor:
KIRWAN, JOHN P., COSTILL, DAVID L., KUIPERS, HARM, BURRELL, MICHAEL J., FINK, WILLIAM J., KOVALESKI, JOHN E., FIELDING, ROGER A.
Publikováno v:
Journal of Applied Physiology; 1987, Vol. 63 Issue 1, p31-35, 5p
Publikováno v:
Archives of Surgery; September 1983, Vol. 118 Issue: 9 p1059-1062, 4p
Autor:
Hurley, Joseph J. ∗, 1, Burrell, Michael J. 1, Auer, Arthur I. 1, Woods, John J., Jr. 1, Binnington, H.Bradley 1, Hershey, Falls B. 1
Publikováno v:
In The American Journal of Surgery 1984 148(6):830-835