Subcategories 2
Sites 12
University of Maryland, Baltimore County - Distance education.
Indian Institute of Technology, Bombay - Real-time systems, Transaction processing in database systems, Real-time databases systems
Indian Institute of Technology, Bombay - Concurrency, Formal Specification and Verification, Programming Languages, Real time and Reactive Programming, Distributed Computing.
Indian Institute of Technology, Bombay - Algorithms, Combinatorial Optimization.
Indian Institute of Technology, Bombay - VLSI Design, Advanced Computer Architecture, Reconfigurable Computing, Microprocessor Design and Interfaces.
University of Groningen - Specification languages and formal specification.
University of Nebraska-Lincoln - Scientific databases, content-based image retrieval, geographic information systems, spatiotemporal data, computational biology.
University of Cambridge - Programming language design and implementation, typeless languages, optimizing compilers, efficient interpreters, just-in-time compilation.
Webster Professor of MIT's Electrical Engineering and Computer Science, Associate Director of MIT's Laboratory for Computer Science, a founder of RSA Data Security
University of Cambridge - Human-computer interaction, electronic design automation, self-timed circuits.
University of Groningen - Image processing, mathematical morphology, wavelets, computer vision and scientific visualization.
Mount Allison University - Higher dimensional category theory, computational category theory and theory of database systems.
Webster Professor of MIT's Electrical Engineering and Computer Science, Associate Director of MIT's Laboratory for Computer Science, a founder of RSA Data Security
University of Maryland, Baltimore County - Distance education.
University of Cambridge - Programming language design and implementation, typeless languages, optimizing compilers, efficient interpreters, just-in-time compilation.
University of Cambridge - Human-computer interaction, electronic design automation, self-timed circuits.
Indian Institute of Technology, Bombay - Real-time systems, Transaction processing in database systems, Real-time databases systems
Mount Allison University - Higher dimensional category theory, computational category theory and theory of database systems.
University of Nebraska-Lincoln - Scientific databases, content-based image retrieval, geographic information systems, spatiotemporal data, computational biology.
University of Groningen - Specification languages and formal specification.
Indian Institute of Technology, Bombay - Algorithms, Combinatorial Optimization.
Indian Institute of Technology, Bombay - VLSI Design, Advanced Computer Architecture, Reconfigurable Computing, Microprocessor Design and Interfaces.
University of Groningen - Image processing, mathematical morphology, wavelets, computer vision and scientific visualization.
Indian Institute of Technology, Bombay - Concurrency, Formal Specification and Verification, Programming Languages, Real time and Reactive Programming, Distributed Computing.
Last update:
January 3, 2014 at 13:54:09 UTC
Check out
Regional: Europe: United Kingdom: England: Cheshire: Society and Culture: Disability Resources
- Recently edited by merlin1
- Recently edited by merlin1