Birtwistle, Graham Collection home page

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 37
 next >
Issue DateTitleAuthor(s)/Advisor(s)
1-Jun-1989THE SECD MACHINE ON A CHIPBirtwistle, G.; Graham, B.; Joyce, J.; Williams, S.; Brinsmead, M.; Keefe, M.; Kroeker, W.; Liblong, B.; Vollmerhaus, W.
1-Jun-1989THE MOSSIM SPECIFICATION OF THE SECD DESIGNBirtwistle, G.; Joyce, J.
1-Jan-1989THE ARCHITECTURE OF HENDERSON'S SECD MACHINESimpson, T.; Birtwistle, G.; Hermann, M.; Graham, B.
1-Jan-1989A COMPILER FOR LISPKIT TARGETTED ATHENDERSON'S SECD MACHINESimpson, T.; Birtwistle, G.; Hermann, M.; Graham, B.
1-Jan-1986JADE status report: a local computing network for research in distributed programming environmentsUnger, Brian W; Birtwistle, G.; Cleary, J.; Hill, D.; Keenan, T.; Rokne, J.; Kendall, J.; Vollmerhaus, W.; Witten, I.; Wyvill, B.
1-Nov-1985The JADE approach to distributed software developmentUnger, Brian W; Dewar, Alan; Cleary, John; Birtwistle, Graham
1-Nov-1983JADE: a simulation & software prototyping environmentUnger, Brian W; Birtwistle, Graham; Cleary, John; Hill, David; Lomow, Greg; Neal, Radford; Peterson, Murray; Witten, Ian; Wyvill, Brian
1-Oct-1983MULTIPROCESSOR RAY TRACINGCleary, John G.; Wyvill, Brian; Birtwistle, Graham M.; Vatti, Reddy
1-Dec-1993CASE STUDIES IN ASYNCHRONOUS DESIGN. PART I: AMM ARCHITECTURE PART II: A 4 STROKE AMMBirtwistle, G.; Spooner, D.; Liu, Y.; Yu, Wanzhen; Stevens, Ken; Aldwinckle, John
1-Oct-1993CHARACTERISING THE STRUCTURE OF SIMULATION MODELS IN CCSBirtwistle, G.; Pooley, R.; Tofts, C.
1-Mar-1992AN INTRODUCTION TO MODAL LOGIC AND ITS APPLICATIONS ON THE CONCURRENCY WORKBENCHAldwinckle, John; Birtwistle, Graham; Nagarajan, Rajagopal
1-Feb-1992SOME STEPS TOWARDS A VERIFIED SYSTEMBirtwistle, G.; Simpson, Todd; Graham, Brian
1-Feb-1992SPECIFYING A GRAPHICS PACKAGE: A CASE STUDY WITH ZBirtwistle, G.; Zhang, H.
1-Jan-1991VERIFYING SECD IN HOLGraham, B.; Birtwistle, G.
1-Oct-1988HARDWARE VERIFICATION BY FORMAL PROOFBirtwistle, Graham; Graham, Brian; Melham, Tom; Schediwy, Rich
1-Nov-1985SPECIFICATION AND VLSI DESIGNBirtwistle, Graham; Joyce, Jeff; Liblong, Breen; Melham, Tom; Schediwy, Rick
1-Oct-1985A distributed software prototyping and simulation environment: JADEUnger, Brian W; Dewar, Alan; Cleary, John; Birtwistle, Graham
1-Aug-1985PROVING A COMPUTER CORRECT IN HIGHER ORDER LOGICJoyce, Jeffrey; Birtwistle, Graham
1-Dec-1984CPSC VLSI RESEARCH AT CALGARYBirtwistle, Graham
1-Nov-1984TOWARDS A VLSI DESIGN TOOL SYSTEMLiblong, Breen; Melham, Tom; Birtwistle, Graham; Kendall, John
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 37
 next >