网站简介:Group at the University of St. Andrews developing GAP, a free system for computational discrete algebra.
网站简介:Research focuses include high performance and high availability information systems. Home is in Carnegie Mellon's electrical and computer engineering department.
网站简介:Vrije Universiteit - Operating systems, Minix, networks, distributed systems.
网站简介:Chennai Mathematical Institute - logic and models for concurrency
网站简介:Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms
网站简介:Professor of Computer Science, University of California - Riverside.
网站简介:Department of Computer Science. Research areas: Database, Information and Knowledge Based Systems; Dependable Systems; Cognitive Science; Image Systems Engineering; Textures; Intelligent Systems; ULTRA.
网站简介:General information about the department and contacts.
网站简介:BOINC project to predict and design protein structures and protein-protein and protein-ligand interactions. The goal is to develop methods that accurately predict and design protein structures and complexes.
网站简介:Witchita, Kansas
网站简介:Promotes research and development of solutions to large-scale data management problems.
网站简介:Detroit, Michigan
网站简介:Department of Computer Science. Research institutes include distributed systems, simulation, computer graphics, information systems, knowledge systems, and speech processing.
网站简介:Department of Computer Science. Research areas include Intelligent Computing, Software Engineering, Multi-Media Systems and Hardware Communications.
网站简介:School of Mathematical and Computing Sciences.
网站简介:Washington, D.C.
网站简介:High-performance computing (HPC) software for distributed computing environments, including clusters and grids, and data center automation software.
网站简介:Department of Mathematics and Computer Science.
网站简介:Department of Computer Science. Research areas include complexity, semantics, theoretical computer science, coloured Petri nets, human-machine interaction, object technology, distributed multimedia and bioinformatics.
网站简介:School of Electrical Engineering and Computer Science
网站简介:Research group at California Institute of Technology. Focus includes fault-tolerant cluster computing.
网站简介:Burlington, Vermont
网站简介:Computing Department. Research interests include: distributed multimedia systems; mobile computing; software systems engineering; interactive systems and natural language processing.
网站简介:MIT's Theory of Distributed Systems (TDS) research group works on a wide range of problems involving distributed and real-time systems. The work has a theoretical flavor, but is closely tied to practice. Roughly speaking, the research can be classified into: Formal Modeling and Verification, Algorithms, Data Structures and Lower Bounds, and Applications.
网站简介:Oldenberg, Germany. Research and development in embedded systems, healthcare information and communication systems.