University of London, Imperial College (5)
![Submit a Featured Link: [$19.00]](/images/AddF_Button.gif)
![Submit a Regular Link: [$9.00]](/images/AddR_Button.gif)
|
|
Department of Computing 
- Research areas: Distributed software engineering; High-performance informatics; Interactive media; Logic and AI; Software technology and theory. Also hosts On-line Dictionary of Computing and SunSITE archive.
- http://www.doc.ic.ac.uk/
|
High Performance Computing Group - Department of Computing. Research groups: Software environments; Data mining; Computational optimisation; Performance modelling; Visual theory. - http://hpc.doc.ic.ac.uk/    Imperial College Parallel Computing Centre (ICPC) - Provide College workers with dedicated access to powerful parallel computers. News and details of the facilities. - http://www-icpc.doc.ic.ac.uk/ Distributed Software Engineering - Department of Computing. Research on the software development process and software support environments, particularly for real-time, embedded, parallel and distributed systems. - http://www-dse.doc.ic.ac.uk/ Theory and Formal Methods Group - Department of Computing. Research includes the semantics of formal languages and their analysis, exact real arithmetic and its applications, digital topology, process calculi, and formal methods in software engineering. - http://theory.doc.ic.ac.uk/ |
|
