All sites of Computer Science

Supercomputing Institute Supercomputing Institute
Supercomputing Institute- Provides supercomputing resources to the University of Minnesota. Description of computers and technical support. ...
Interdisciplinary Research Collaboration in Dependability of Computer-Based Systems Interdisciplinary Research Collaboration in Dependability of Computer-Based Systems
Interdisciplinary Research Collaboration in Dependability of Computer-Based Systems- Led by the University of Newcastle, UK. Addresses the dependability of computer-based systems. Information about research and job oppor ...
Innovative Computing Laboratory Innovative Computing Laboratory
Innovative Computing Laboratory- At the University of Tennessee. Research in various areas of high-performance computing. Publications, links to projects, and news. ...
NASA Advanced Supercomputing Division NASA Advanced Supercomputing Division
NASA Advanced Supercomputing Division- Research and development of high performance computing technologies, device modeling, nanotechnology, and scientific visualization. Information about research and publications. ...
Ontario Research Center for Computer Algebra Ontario Research Center for Computer Algebra
Ontario Research Center for Computer Algebra- Researchers at ORCCA study algorithms and software systems for symbolic mathematical computation. At any given time a number of visitors and postdocs are hosted. ...
Information Systems Research Centres Information Systems Research Centres
Information Systems Research Centres- List maintained by Espen Andersen. ...
BRICS BRICS
BRICS- Basic Research in Computer Science, University of Aarhus, Denmark. News, projects, publications, personnel, meetings. ...
Institute of Informatics, University of Bern Institute of Informatics, University of Bern
Institute of Informatics, University of Bern- Research projects, publications. ...
NIST Information Technology Laboratory NIST Information Technology Laboratory
NIST Information Technology Laboratory- Describes programs and projects at the NIST Information Technology Laboratory, which supports the information technology industry with measurements, standards, and research. ...
IBM Almaden Research Center IBM Almaden Research Center
IBM Almaden Research Center- Projects in software and hardware for data storage, scientific and technical applications and materials technology, based in San Jose, CA. ...
Digital Systems and Media Computing Laboratory Digital Systems and Media Computing Laboratory
Digital Systems and Media Computing Laboratory- Hellenic Open University. Fundamental and applied research in Image and Video Processing, Intelligent Information Access, Digital Libraries, Augmented Reality, and Semantic ...
Foundations of Computing Science Foundations of Computing Science
Foundations of Computing Science- Universität Kaiserslautern, Fachbereich Informatik. Research and education in foundations of computer science. Staff, projects, publications. ...
Centre for Development of Advanced Computing Centre for Development of Advanced Computing
Centre for Development of Advanced Computing- Bangalore, India. Research areas include parallel computing and multilingual technologies. Includes educational programs and conference schedule. ...
Mechanical Systems Services - Southwest Research Institute Mechanical Systems Services - Southwest Research Institute
Mechanical Systems Services - Southwest Research Institute- Conducts research and applied engineering projects in a range of machine vision technologies. ...
Cornell University Centre for Advanced Computing Cornell University Centre for Advanced Computing
Cornell University Centre for Advanced Computing- News, publications, and research. ...
Advanced Simulation and Computing (ASC) at Livermore Advanced Simulation and Computing (ASC) at Livermore
Advanced Simulation and Computing (ASC) at Livermore- Computing alliance funded by the Department of Defense to research modeling and simulation. Information about current research. ...
LAPIS LAPIS
LAPIS- University of Victoria Laboratory for Parallel and Intelligent Systems is a research group with interests in concurrent systems, interconnection networks, neural networks, diagnosis and design automation ...
Bell Labs Computing Sciences Research Center Bell Labs Computing Sciences Research Center
Bell Labs Computing Sciences Research Center- Lucent Technologies, Murray Hill, NJ, USA. ...
NASA Intelligent Systems Division NASA Intelligent Systems Division
NASA Intelligent Systems Division- News, publications, research areas, projects and highlights, contractors, and contact information. ...
Research Computing Centre at the University of Houston Research Computing Centre at the University of Houston
Research Computing Centre at the University of Houston- Research information, supercomputer documentation, and links to other facilities. ...
Microsoft Research, Cambridge Microsoft Research, Cambridge
Microsoft Research, Cambridge- Research into distributed systems, hardware, information retrieval and analysis, integrated systems, machine learning, networking, and security. Project information and publications. ...
MIT Laboratory for Computer Science MIT Laboratory for Computer Science
MIT Laboratory for Computer Science- Research in a variety of areas in computer science. Description of research, publications, and news. ...
UK Science and Technology Facilities Council UK Science and Technology Facilities Council
UK Science and Technology Facilities Council- One of Europe's largest multidisciplinary research organisations supporting scientists and engineers world-wide. Includes details of its research in computational science. ...
Center for Computational Research Center for Computational Research
Center for Computational Research- SUNY Buffalo. Links to other supercomputing resources and information about educational outreach programs. ...
Russell, Alexander Russell, Alexander
Russell, Alexander- University of Connecticut. ...
Maui High Performance Computing Center Maui High Performance Computing Center
Maui High Performance Computing Center- Affiliated with the University of Hawaii. Training workshops and supercomputer documentation. ...
Theory of Computation Theory of Computation
Theory of Computation- Lecture notes for an undergraduate class taught by Leonid Levin at UC Berkeley. ...
Church-Turing Thesis Church-Turing Thesis
Church-Turing Thesis- Wikipedia article. ...
Theoretical Computer Science on the Web Theoretical Computer Science on the Web
Theoretical Computer Science on the Web- A directory of resources related to theoretical computer science from Stanford University. ...
Introduction to Formal Models in Computer Science Introduction to Formal Models in Computer Science
Introduction to Formal Models in Computer Science- Lecture notes from the University of Washington covering basic topics such as computation models and theoretical concepts such as nondeterminism. ...
CSCI 0510 Models of Computation CSCI 0510 Models of Computation
CSCI 0510 Models of Computation- Undergraduate computer science course on the foundations of computing at the Brown University, Department of Computer Science. ...
Lecture Notes on Theory of Computation Lecture Notes on Theory of Computation
Lecture Notes on Theory of Computation- Introduction to basic topics including models of computation, finite automata, context free grammars and complexity theory. ...
Theoretical Computer Science Search Engine Theoretical Computer Science Search Engine
Theoretical Computer Science Search Engine- A Google Custom Search Engine that searches pages relevant to Theoretical Computer Science, such as books, lecture notes, courses, and papers. ...
Faculty of Computer Science and Engineering Faculty of Computer Science and Engineering
Faculty of Computer Science and Engineering- Official web-site of the Faculty of Computer Science and Engineering. ...
(Kuwait) Kuwait University (Kuwait) Kuwait University
(Kuwait) Kuwait University- Department of Mathematics and Computer Science. ...
ASIAN'97 ASIAN'97
ASIAN'97- Asian Computing Science Conference. Kathmandu, Nepal;9--12 December 1997. ...
CP97 CP97
CP97- Third International Conference on Principles and Practice of Constraint Programming. Schloss Hagenberg, Austria; 29 October -- 1 November 1997. ...
CAV'98 CAV'98
CAV'98- International Conference on Computer-Aided Verification. University of British Columbia, Vancouver, BC, Canada; 28 June -- 2 July 1998. ...
Ryabko, Boris Ryabko, Boris
Ryabko, Boris- Siberian State University. ...
POPL 99 POPL 99
POPL 99- 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Co-located with PADL'99, PEPM'99 and FOOL 6. San Antonio, Texas, USA; 20--22 January 1999. ...
PADL'99 PADL'99
PADL'99- First International Workshop on Practical Aspects of Declarative Languages. (Co-located with POPL'99), San Antonio, Texas, USA; 18--19 January 1999. ...
SOSP 1999 SOSP 1999
SOSP 1999- 17th ACM Symposium on Operating Systems Principles. December 12-15. ...
PADL'00 PADL'00
PADL'00- Workshop on Practical Aspects of Declarative Languages ...
USENIX USENIX
USENIX- 7th USENIX Tcl/Tk Conference. Austin, Tx. February 14-18. ...
Spielman, Daniel A. Spielman, Daniel A.
Spielman, Daniel A.- Professor of Applied Mathematics and Computer Science at Yale. ...
FOCS 2000 FOCS 2000
FOCS 2000- The 41st Annual Symposium on Foundations of Computer Science , Redondo Beach, CA, November 12-14, 2000. ...
RTSS 2000 RTSS 2000
RTSS 2000- The 21st IEEE Real-Time Systems Symposium and Real-Time Linux Workshop. Disney World, Orlando, Florida, USA; 27--30 November 2000. ...
NOSSDAV 2000 On-Line Proceedings NOSSDAV 2000 On-Line Proceedings
NOSSDAV 2000 On-Line Proceedings- On-line copies of papers presented at the 10th International Workshop on Network and Operating System Support on Digital Audio and Video (NOSSDAV), Chapel Hill, NC, June 2000. ...
SAC 2000 SAC 2000
SAC 2000- ACM Symposium on Applied Computing. Villa Olmo, Como, Italy; 19--21 March 2000. ...
PPDP 2000 PPDP 2000
PPDP 2000- 2nd International Conference on Principles and Practice of Declarative Programming. Associated with PLI 2000. Montreal, Canada; 20--22 September 2000. ...

Latest sites from Computer Science