Search

20 Jun 2017: Overview of run-time data structures: stack and heap. Virtual machines. [1 lecture]. ... Grammar ambiguity, left- and right-associativity and operator precedence. Using YACC-like tools.

5 May 2017: Course pages 2016–17. Computer Graphics and Image Processing. Principal lecturer: Prof Peter Robinson. ... How do they relate to one another? Colour. Human vision. Resolution and quantisation.

5 May 2017: Propositional logic. Basic syntax and semantics. Equivalences. Normal forms. Tautology checking using CNF. ... understand the relationships among the various calculi, e.g. SAT solving, resolution and Prolog;.

27 Apr 2017: Introduction, motivation, and overview. What is a programming language? Application domains in language design. ... Scala and Java 8. Generic types and methods. Variance annotations. The expression problem.

5 May 2017: Course pages 2016–17. Concurrent and Distributed Systems. Principal lecturer: Dr Robert Watson. ... user threads; M:N threads; atomicity; mutual exclusion; and mutual exclusion locks (mutexes).

5 May 2017: Then two representatives of recent trends are presented -- graph-oriented and document-oriented databases. ... know how to convert entity-relationship diagrams to relational- and graph-oriented implementations.

5 May 2017: Tips and pitfalls when generating larger modular designs. Chip, board and system testing. ... understand memory hierarchy including different cache structures and coherency needed for multicore systems;.

5 May 2017: Introduction to the C language. Background and goals of C. Types and variables. ... 2 lectures]. Introduction to C++. Goals of C++. Differences between C and C++.

20 Dec 2017: 2015-05-20 (Wed):. Duration: 56:38. Total duration: 9:26:51. 2017 Department of Computer Science and Technology, University of Cambridge.

20 Jun 2017: Hoare Logic and Model Checking (Easter,Michaelmas,Michaelmas,Lent,Michaelmas,Lent,Michaelmas, Lent,Michaelmas, Lent,Michaelmas,Michaelmas, Lent,Michaelmas, Lent,Michaelmas,Michaelmas, ... Research Students Lectures (Michaelmas,and others).