|
|
|
|
Home / Computers / Computer Science / Academic Departments / Europe / United Kingdom / University of London, Imperial College
|
|
|
|
Web Sites
|
- Data Mining Research Group - Department of Computing. Innovative technology for large-scale data mining on the internet.
ruby.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.
www-dse.doc.ic.ac.uk
- High Performance Computing Group - Department of Computing. Research groups: Software environments; Data mining; Computational optimisation; Performance modelling; Visual theory.
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.
www-icpc.doc.ic.ac.uk
- Logic, Language and Reasoning - Inter-departmental research group on Communicating Agents.
medlar.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.
theory.doc.ic.ac.uk
- 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.
www.doc.ic.ac.uk
|
|
|
|
|