<--- Back to Details
First PageDocument Content
University of Toronto / Fellows of the Royal Society / Atomic Energy of Canada Limited / UTEC / Beatrice Helen Worsley / Differential analyser / Department of Computer Science / Maurice Wilkes / Electronic Delay Storage Automatic Calculator / History of computing hardware / Computing / Classes of computers
Date: 2006-11-13 17:15:19
University of Toronto
Fellows of the Royal Society
Atomic Energy of Canada Limited
UTEC
Beatrice Helen Worsley
Differential analyser
Department of Computer Science
Maurice Wilkes
Electronic Delay Storage Automatic Calculator
History of computing hardware
Computing
Classes of computers

Add to Reading List

Source URL: individual.utoronto.ca

Download Document from Source Website

File Size: 231,25 KB

Share Document on Facebook

Similar Documents

Computing / Computer architecture / Android / System software / Online marketplaces / Google Play / Intent

Poster: Android Collusive Data Leaks with Flow-sensitive DIALDroid Dataset Amiangshu Bosu Fang Liu, Danfeng (Daphne) Yao, Gang Wang Department of Computer Science

DocID: 1xW0O - View Document

Artificial neural networks / Mathematics / Computational neuroscience / Applied mathematics / Mathematical analysis / Lipschitz continuity / operator / Continuous function / Gradient descent / Convolutional neural network / Rectifier / Deep learning

Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers

DocID: 1xW0E - View Document

Software engineering / Computing / Programming paradigms / Evaluation strategy / Functional programming / Computer programming / Concurrent programming languages / Functional reactive programming / Reactive programming / Computer architecture / Dataflow programming / Dataflow

The Theory and Practice of Causal Commutative Arrows Hai (Paul) Liu Advisor: Paul Hudak Computer Science Department Yale University

DocID: 1xVYc - View Document

Computing / Computer graphics / 3D rendering / Video game development / Computer programming / Graphics hardware / Graphics libraries / Texture atlas / Graphics processing unit / Texture mapping / Optimizing compiler / Rendering

Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

DocID: 1xVY6 - View Document

Graph theory / Mathematics / Discrete mathematics / Morphisms / Semantic Web / Knowledge representation / Graph operations / Blank node / Cograph / Graph homomorphism / Graph coloring / Resource Description Framework

Skolemising Blank Nodes while Preserving Isomorphism Aidan Hogan ∗ Department of Computer Science

DocID: 1xVXr - View Document