All sites of Computer Science

MTA SZTAKI Laboratory of Parallel and Distributed Systems MTA SZTAKI Laboratory of Parallel and Distributed Systems
MTA SZTAKI Laboratory of Parallel and Distributed Systems- Computer and Automation Research Institute Research and consultation focusing on parallel and distributed software engineering. Affiliated with Hungarian Academy ...
Horus Project Horus Project
Horus Project- Reliable distributed computing research in Cornell University computer science department. Has information on Ensemble, a publicly distributed toolkit based on Horus research. ...
Illinois Systems Research Group Illinois Systems Research Group
Illinois Systems Research Group- Research focuses include distributed operating systems, middleware, and agent-based computing. ...
University of Texas Distributed Multimedia Computing Lab University of Texas Distributed Multimedia Computing Lab
University of Texas Distributed Multimedia Computing Lab- Research focus includes file systems, media transmission protocols, and operating system support for multimedia networking. ...
Columbia University Network Computing Laboratory Columbia University Network Computing Laboratory
Columbia University Network Computing Laboratory- Research in experimental software systems to make personalized computing ubiquitously available, anytime and anywhere. ...
Columbia University Columbia University
Columbia University- Distributed Computing and Communications Laboratory: This lab pursues experimental research of networked systems. Works to develop fundamental novel networking technologies and maximize their impact ...
Bultan, Tevfik Bultan, Tevfik
Bultan, Tevfik- University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking. ...
Distributed Computing Group Distributed Computing Group
Distributed Computing Group- The research interests of the group include: data structures and algorithms, distributed computing (e.g.: routing, file systems, and generally scalability and decentralization of data and alg ...
Distributed Systems Group - Technical University of Vienna Distributed Systems Group - Technical University of Vienna
Distributed Systems Group - Technical University of Vienna- The Distributed Systems Group in the Information Systems Institute of the Technical University of Vienna conducts teaching and research in distributed computing ...
Extreme! Computing Extreme! Computing
Extreme! Computing- Indiana University Computer Science high performance distributed computing and grid computing lab. ...
The Panic Lab Homepage The Panic Lab Homepage
The Panic Lab Homepage- The focus of our group is on Pervasive, Available, No-futs, Internet Computing (PANIC). Information and an archive of collected papers. ...
The Lee Center for Advanced Networking The Lee Center for Advanced Networking
The Lee Center for Advanced Networking- Research center at Caltech, supporting development of a global-scale wireless distributed computing system that connects people and appliances. ...
MIT Parallel & Distributed Operating Systems Group MIT Parallel & Distributed Operating Systems Group
MIT Parallel & Distributed Operating Systems Group- This group's focus is to build and investigate software systems for parallel and distributed environments. They have conducted research in operating systems, networking ...
SRI Secure Systems Research SRI Secure Systems Research
SRI Secure Systems Research- Research focus on authentication and secure collaboration in networked systems. Part of SRI International's Computer Science Laboratory. ...
The Distributed Group - LSI Dept. University of Seville The Distributed Group - LSI Dept. University of Seville
The Distributed Group - LSI Dept. University of Seville- University of Seville research group with a focus on developing description languages and tools for dealing with the complexity of multiparty interactions in inter ...
University of Cambridge University of Cambridge
University of Cambridge- Computer Laboratory Systems Research Group is the largest research area in the Computer Laboratory covering hardware, communications hardware and software, operating systems and distributed syste ...
MIT Theory of Distributed Systems Group MIT Theory of Distributed Systems Group
MIT Theory of Distributed Systems Group- 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 c ...
Brankovic, Ljiljana Brankovic, Ljiljana
Brankovic, Ljiljana- University of Newcastle - Security of statistical databases. ...
Advanced Computing for Science Advanced Computing for Science
Advanced Computing for Science- Seeks to allow scientists to address complex and large-scale computing and data analysis problems beyond what is possible today. The department is developing software components which will ...
Association for Computing Machinery Association for Computing Machinery
Association for Computing Machinery- International scientific and educational organization dedicated to advancing the arts, sciences, and applications of information technology. ...
USACM Committee Public Policy Office USACM Committee Public Policy Office
USACM Committee Public Policy Office- The web site for the ACM Committee on U.S. Public Policy (USACM) acts as the focal point for society's interaction with the U.S. Congress and government organizations. Includes recen ...
Alpuente, María Alpuente, María
Alpuente, María- Technical University of Valencia, Spain - Logic Programming: semantics, extensions and applications integration of functional and logic programming languages, abstract interpretation, program manipulatio ...
Altenkirch, Thorsten Altenkirch, Thorsten
Altenkirch, Thorsten- Ludwig-Maximillians University - Type theory, categorical logic, and program verification. ...
Agrawal, Divyakant Agrawal, Divyakant
Agrawal, Divyakant- University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management. ...
Almeroth, Kevin Almeroth, Kevin
Almeroth, Kevin- University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems. ...
Arun-Kumar, S. Arun-Kumar, S.
Arun-Kumar, S.- Indian Institute of Technology, Delhi - Semantics and Verification ...
Ajmani, Sameer Ajmani, Sameer
Ajmani, Sameer- MIT - Distributed systems, software engineering and security. ...
Aiken, Alex Aiken, Alex
Aiken, Alex- Berkeley - Type systems, static program analysis and abstract interpretation, constraint resolution algorithms, parallel programming, language design, domain specific languages, end user programming, visuali ...
Ariola, Zena M. Ariola, Zena M.
Ariola, Zena M.- University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers. ...
Bruce, Kim B. Bruce, Kim B.
Bruce, Kim B.- Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism. ...
Borning, Alan Borning, Alan
Borning, Alan- University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling. ...
Bernstein, D. J. Bernstein, D. J.
Bernstein, D. J.- University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking ...
Briot, Jean-Pierre Briot, Jean-Pierre
Briot, Jean-Pierre- Laboratoire d'Informatique de Paris - Object-oriented programming, concurrency/parallelism, distributed programming, flexible and adaptive programs, meta-programming and reflection, artificial intelli ...
Becker, Simon M. Becker, Simon M.
Becker, Simon M.- University of Technology Aachen - Software Engineering, Incremental Integration. ...
Bednarik, Roman Bednarik, Roman
Bednarik, Roman- University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education. ...
Bhattacharyya, Pushpak Bhattacharyya, Pushpak
Bhattacharyya, Pushpak- Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intelligence. ...
Bundy, Alan Bundy, Alan
Bundy, Alan- University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving. ...
Bertozzi, Massimo Bertozzi, Massimo
Bertozzi, Massimo- University of Parma - Computer vision, learning in vision, artificial intelligence. ...
Boisvert, Ronald F. Boisvert, Ronald F.
Boisvert, Ronald F.- NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science. ...
Bradfield, Julian Bradfield, Julian
Bradfield, Julian- University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency. ...
Brandt, Felix Brandt, Felix
Brandt, Felix- Stanford University, California. Multiagent systems, preference aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, and game theory. ...
Breugel, Franck van Breugel, Franck van
Breugel, Franck van- York University, Ontario - Concurrent programming languages, semantics, specification languages. ...
Bacon, Jean Bacon, Jean
Bacon, Jean- University of Cambridge - Distributed systems. ...
Briscoe, Ted Briscoe, Ted
Briscoe, Ted- University of Cambridge - Speech and language processing, computational linguistics. ...
Blackwell, Alan Blackwell, Alan
Blackwell, Alan- University of Cambridge - Human-computer interaction, visual interaction. ...
Brajnik, Giorgio Brajnik, Giorgio
Brajnik, Giorgio- University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems. ...
Blair, Michael R. Blair, Michael R.
Blair, Michael R.- MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping. ...
Blelloch, Guy Blelloch, Guy
Blelloch, Guy- Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection. ...
Collini-Nocker, Bernhard Collini-Nocker, Bernhard
Collini-Nocker, Bernhard- University of Salzburg - Network traffic measurements, LAN interconnection via satellite, and interactive multimedia satellite information services. ...
Crépeau, Claude Crépeau, Claude
Crépeau, Claude- McGill University - Cryptographic protocols, quantum cryptography, quantum teleportation, quantum computing, and coding theory. ...

Latest sites from Computer Science