Computers

Providers of Handheld Management System (HMS) software for accounting system integration with Intermec's Supply Chain Solutions.

Internet-oriented software development company offering component development, analysis and design of Internet applications, and web hosting.

Specializes in the development of Internet and Intranet applications, positioning a database behind websites to provide powerful business solutions.

Develops system and application software for mainframes and PCs. Information about products and support.

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.

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.

Sixth International Web Caching and Content Delivery Workshop. Boston University, Boston, Massachusetts, USA, June 20 - 22, 2001.

Ninth International Conference on Cooperative Information Systems (in cooperation with VLDB 2001). Trento, Italy; 5--7 September 2001. Videos, slides.

Principles, Logics, and Implementations of high-level programming languages. Pittsburgh, PA, USA; 3–8 October 2002.

Computing: The Australasian Theory Symposium. Part of Australasian Computer Science Week (ACSW). Adelaide, South Australia; 4--7 February 2003.

ACM SIG Symposium On Applied Computing. Nicosia, Cyprus; 14--17 March 2004.

Sixth Annual Northwestern Regional Conference of the Consortium for Computing Sciences in Colleges. Willamette University, Salem, Oregon, USA; 8--9 October 2004.

The 31st Annual ACM SIGPLAN – SIGACT Symposium on Principles of Programming Languages. Venice, Italy; 14–16 January 2004.

Central European Multimedia and Virtual Reality Conference. Prague, Czech Republic; June 8-10, 2005

24th Annual International Conference on the Theory and Applications of Cryptographic Techniques. Aarhus, Denmark; 22–26 May 2005.

32nd International Symposium on Mathematical Foundations of Computer Science. Český Krumlov, Czech Republic; 26–31 August 2007.

Annual International Conference on the Theory and Applications of Cryptographic Techniques. Barcelona, Spain; 20–24 May 2007.

17th International Conference on Computer Theory and Applications. Alexandria, Egypt; 1–3 September 2007.

21st British National Conference on Databases. Edinburgh, Scotland; July 7-9, 2004.

24th ACM SIGMOD International Conference on Management of Data / Principles of Database Systems, Baltimore, Maryland, USA; June 13-16, 2005.

Very Large Data Bases Conference. Annual series: links to individual meetings.

Strives to cover all aspects of working out new intelligent technologies for information processing, creating databases and processing data. Includes subscription and submission conditions and papers published since 2007.

Research group focussing on research issues and project work related to very large database and information systems

Database research group homepage. Research, Academic Contacts, some Technical tips.

Activities of the Database Technology Group include research and education in database technology and related areas.

The International Symposium on High Performance Distributed Computing is a forum for presenting the latest research findings on the use of networked systems for high performance distributed computing.

Explores distributed file sharing through BitTorrent and experiments with the GNU Compiler for Java. It also produces a regular BitTorrent client, torrent creator and tracker program.

Boitho distributed crawler (BETA). Goal is to make a general internet search engine with a thumbnail picture of all the pages.

Repository for personal publications while researching in Distributed Application design. Papers include meeting response targets, distributed synchronization and analysis of the CURL.

Research group in the College of Computing. Focuses include distributed operating systems, mobile computing, discrete event simulation, and cluster computing for media applications.

Research focus includes file systems, media transmission protocols, and operating system support for multimedia networking.

The Distributed Systems Group in the Information Systems Institute of the Technical University of Vienna conducts teaching and research in distributed computing.

Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism.

Associate Professor at Dartmouth, and co-author of arguably the leading textbook on algorithms.

University of Cambridge - Autostereoscopic 3D imaging, rendering algorithms, compression.

University of Salzburg - Artificial intelligence, automated theorem proving, proof calculi and their complexities, logic programming, theoretical computer science, and complexity theory .

Carnegie Mellon University / Panasas, Inc. - Parallelism in secondary storage system technologies, especially parallel and distributed file systems, disk arrays, and network-attached storage devices.

Theoretical and applied machine learning guy. Contact information and selected publications.

Stanford University - Syntax, computational linguistics.

Indian Institute of Technology, Delhi - Programming Languages, Concurrent Systems

University of Texas at Austin - Software engineering, system evolution, large-scale systems.

University of Edinburgh - Computational linguistics, artificial intelligence, formal grammar, intonation, spoken language processing, animated conversational agents.

CEO of Radar Networks, and co-founder of EarthWeb - Semantic Web, Knowledge Management

Searchable bibliography on performance evaluation, computer networks, network security, digital signal processing (54,000 records with abstracts, 20,000 documents, submission welcome).

Electronic reference library for programmers and IT professionals. Offers search, annotate, read and build a personal reference collection.

Promotes the growth of logic and computing. The bulk of the content is technical scientific papers, letters, reviews, and discussions, as well as relevant conference reviews, are included.

Focuses on the contribution of computing to statistics and vice versa in variety of fields of statistics. Publisher's site: abstracts, with full text for subscribers.

Publishes research in all areas of theoretical computer science. Tables of contents from vol.29 (1996) on; full text to subscribers.

Two set of lecture notes by Prof. Oded Goldreich, Weizmann Institute.

Research group in the Computing Laboratory, Oxford University.