Items where Kingston Author is "Reade, Christopher"

Up a level
Export as [feed] Atom [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 32.

Article

Reade, Christopher (2008) Book Review of: 'Agent technology for e-commerce' by Maria Fasli. International Journal of Information Management, 28(6), pp. 542-543. ISSN (print) 0268-4012

Kumar, Amit K., Mandal, Chittaranjan and Reade, Chris (2007) A system for automatic evaluation of 'C' programs: features and interfaces. International Journal of Web-Based Learning and Teaching Technologies, 2(4), pp. 24-39. ISSN (print) 1548-1093

Mandal, Chittaranjan, Sinha, Vijay Luxmi and Reade, Christopher M P (2004) Web-based course management and web services. Electronic Journal of e-Learning, 2(1), pp. 135-144. ISSN (online) 1479-4403

Reade, C.M.P., Middleditch, A.E. and Gomes, A.J. (2002) Least stratifications and cell-structured objects in geometric modelling. International Journal of Shape Modeling, 8(1), pp. 59-77. ISSN (online) 0218-6543

Middleditch, A.E., Reade, C.M.P. and Gomes, A.J. (2000) Point-sets and cell structures relevant to computer aided design. International journal of shape modeling, 6(2), pp. 175-205. ISSN (print) 0218-6543

Middleditch, A.E. and Reade, C.M.P. (2000) Improvements for the Djinn API to a geometric modelling kernel. International journal of shape modeling, 6(1), pp. 79-103. ISSN (print) 0218-6543

Middleditch, A.E., Reade, C.M.P. and Gomes, A.J. (1999) Set-combinations of the mixed-dimension cellular objects of the Djinn API. Computer-Aided Design, 31(11), pp. 683-694. ISSN (print) 0010-4485

Reade, Chris (1995) Process algebra in the specification of graphics standards. Computer Standards and Interfaces, 17(3), pp. 277-290. ISSN (print) 0920-5489

Reade, Chris (1993) Terminating comprehensions. Journal of Functional Programming, 3(2), pp. 247-250. ISSN (print) 0956-7968

Reade, C.M.P. (1992) Balanced trees with removals: an exercise in rewriting and proof. Science of Computer Programming, 18(2), pp. 181-204. ISSN (print) 0167-6423

Book

Reade, Chris (1989) Elements of functional programming. Wokingham, U.K. : Addison-Wesley. 600p. (International computer science series) ISBN 0201129159

Book Section

Mandal, Amit Kumar, Mandal, Chittaranjan and Reade, Chris (2008) Interface and features for an automatic 'C' program evaluation system. In: Karacapilidis, Nikos, (ed.) Solutions and Innovations in Web-Based Technologies for Augmented learning: improved platforms, tools, and applications. Hershey, USA : Information Science Publishing. pp. 168-185. (Advances in web-based learning (AWBL) book series) ISBN 9781605662381

Mandal, Amit Kumar, Mandal, Chittaranjan and Reade, Chris (2007) A system for automatic evaluation of programs for correctness and performance. In: Filipe, Joaquim , Cordiro, José and Pedrosa, Vitor, (eds.) Web information systems and technologies : international conferences, WEBIST 2005 and WEBIST 2006 : revised selected papers. Berlin, Germany : Springer. pp. 367-380. (Lecture notes in business information processing, no. 1) ISSN (print) 1865-1348 ISBN 9783540740629

Russell, Dan, Steinitz, Dominic and Reade, Chris (2002) Haskell: language for business systems. In: Hammond, Kevin and Curtis, Sharon, (eds.) Trends in Functional Programming. Volume 3. Exeter, U.K. : Intellect Books. pp. 1-12. ISBN 9781841500706

Reade, Chris and Froome, Peter (1990) Formal methods for reliability. In: Rook, Paul, (ed.) Software reliability handbook. London : Elsevier Applied Science. pp. 51-82. ISBN 1851664009

Conference or Workshop Item

Das, Ariyam, Mandal, Chittaranjan, Reade, Christopher and Aasawat, Manish (2011) An improved greedy construction of minimum connected dominating sets in wireless networks. In: IEEE Wireless Communications and Networking Conference 2011; 28 - 31 Mar 2011, Cancun, Mexico. ISSN (print) 1525-3511 ISBN 9781612842554

Nimkar, Anant V., Mandal, Chittaranjan and Reade, Christopher (2010) MMS: multi merge and split buffer management scheme for video-on-demand systems. In: 3rd International Conference on Internet Multimedia Systems Architecture and Applications (IMSAA); 9-11 Dec 2009, Bangalore, India. ISBN 9781424447923

Nimkar, Anant V., Mandal, Chittaranjan and Reade, Christopher (2010) Video placement and disk load balancing algorithm for VoD proxy server. In: 3rd International Conference on Internet Multimedia Systems Architecture and Applications (IMSAA); 9-11 Dec 2009, Bangalore, India. ISBN 9781424447923

Karfa, Chandan, Sarkar, Dipankar, Mandal, Chittaranjan and Reade, Chris (2007) Hand-in-hand verification of high-level synthesis. In: 17th Great Lakes Symposium on VLSI; 11-13 Mar 2007, Stresa-Lago Maggiore, Italy. ISBN 9781595936059

Mandal, Chittaranjan and Reade, Chris (2007) Recipient specific electronic cash: a scheme for recipient specific yet anonymous and transferable electronic cash. In: 3rd International Conference on Web Information Systems and Technologies; 3-6 Mar 2007, Barcelona, Spain.

Karfa, C., Mandal, C., Sarkar, D. and Reade, Chris (2007) Register sharing verification during data-path synthesis. In: International Conference on Computing: Theory and Applications (ICCTA'07); 5-7 Mar 2007, Kolkata, India. ISBN 9780769527703

Mandal, Chittaranjan and Reade, Chris (2006) Animating algorithms over the web. In: 2nd International Conference on Web Information Systems and Technologies; 11-13 Apr 2006, Setubal, Portugal.

Kumar Mandal, Amit, Mandal, Chittaranjan and Reade, Chris (2006) A system for automatic evaluation of programs for correctness and performance. In: 2nd International Conference on Web Information Systems and Technologies; 11-13 Apr 2006, Setubal, Portugal. ISBN 9783540740629

Karfa, Chandan, Mandal, Chittaranjan, Sarkar, Dipankar, Pentakota, S.R. and Reade, Chris (2006) Verification of scheduling in high-level synthesis. In: IEEE Computer Society Annual Syposium on Emerging VLSI Technologies and Architectures 2006; 2-3 Mar 2006, Karlsruhe, Germany. ISBN 0769525334

Karfa, C., Mandal, Chittaranjan, Sarkar, Dipankar, Pentakota, Satyam R. and Reade, Chris (2006) A formal verification method of scheduling in high-level synthesis. In: 7th International Symposium on Quality Electronic Design; 27-29 Mar 2006, San Jose, USA. ISBN 0769525237

Mandal, Amit, Mandal, Chittaranjan and Reade, Chris (2006) Design and implementation of an automatic program evaluation system. In: International conference on emerging applications of IT; 10-11 Feb 2006, Kolkata, India.

Mandal, Chittaranjan, Sarkar, Dipankar and Reade, Chris (2006) An efficient algorithm for scheduling verification. In: International Conference on Emerging Applications of IT; 10-11 Feb 2006, Kolkata, India.

Mandal, Chittaranjan and Reade, Chris (2006) A technique for algorithm animation over the web. In: International Conference on Emerging Applications of IT; 10-11 Feb 2006, Kolkata, India.

Mandal, Chittaranjan, Sinha, Vijay Luxmi and Reade, Chris (2004) A web-based automatic evaluation system. In: 3rd European Conference on eLearning; 25-26 Nov 2004, Paris, France. ISBN 0954709675

Mandal, C., Sinha, V.L. and Reade, Chris (2003) A web-based course management tool. In: 2nd European Conference on eLearning; 6-7 Nov 2003, Glasgow, U.K..

Steinitz, Dominic, Reade, Chris, Russell, Dan, Molyneux, Phil and Avery, Barry (2001) Haskell: language for business systems. In: 3rd Scottish Functional Programming Workshop; 22 - 24 Aug 2001, Stirling, U.K..

Middleditch, A.E. and Reade, C.M.P. (2000) Theories of shape and cell structure for computer aided design. In: First Korea-UK Workshop on Geometric Modeling and Computer Graphics; 6-7 Apr 2000, Seoul, Korea.

This list was generated on Mon Sep 29 17:00:23 2014 BST.