Home Submit URL Add to Favorite Contact
           17 May, 2024
 
    

High Assurance Computing

Go to << Prior 1 2 3 Next >> page 
Welsh eScience Centre (Popularity: )
http://www.wesc.ac.uk/
Hosted by the Department of Computer Science at Cardiff University. Aims to develop, implement and deploy applications to utilise and create e-Science technologies, infrastructure, and services.
Category:   Science - Institutions - Regional - Europe

N-Body Shop (Popularity: )
http://www-hpcc.astro.washington.edu/
Part of the Department of Astronomy at the University of Washington. Designs and runs software that enables high-performance computing on a variety of astronomy-related problems, including large-scale structure formation and planet formation.
Category:   Science - Astronomy - Institutions - Research Centers

Fulcrum Microsystems, Inc (Popularity: )
http://www.fulcrummicro.com/
Develops and sells chips and IP (intellectual property) for asynchronous logic circuits.
Category:   Business - Electronics and Electrical - Components - Semiconductors

A. Davis Grant & Company (Popularity: )
http://www.adg.net/
Features services, links and contacts.
Category:   Business - Information Technology - Employment - Recruitment and Staffing

Numerical Algorithms Group (NAG) (Popularity: )
http://www.nag.co.uk/
Libraries, compilers, tools, information, software for statistics, visualization, symbolic calculation, simulation.
Category:   Computers - Programming - Languages - Fortran

Related: High-assurance Computing - High Performance Computing - Self-assurance - Best Assurance - Assurance


AdaIC (Popularity: )
http://www.adaic.org/
The Ada Information Clearinghouse provides information and resources on Ada.
Category:   Computers - Programming - Languages - Ada

Binary Modular DataFlow Machine (Popularity: )
http://bmdfm.com/
A Parallel Programming Environment. [Linux, SunOS]
Category:   Computers - Software - Freeware

Terra Soft Solutions (Popularity: )
http://www.terrasoftsolutions.com/
Privately held corporation who's primary market position is to advance the abilities and usership of PowerPC Linux.
Category:   Computers - Software - Operating Systems - Linux

Yellow Dog Linux (Popularity: )
http://www.yellowdoglinux.com/
PowerPC distribution, based on RPM and Red Hat, and with commercial technical support.
Category:   Computers - Software - Operating Systems - Linux

Yellow Dog Linux (Popularity: )
http://www.yellowdoglinux.com/
A PowerPC distribution based on Red Hat Linux, but with commercial technical support
Category:   Computers - Software - Operating Systems - Linux

High Performance Computing using Mac OS X (Popularity: )
http://hpc.sourceforge.net/
Collection of open source tools for scientific computation: binaries, source, documentation and instructions for installing Fortran, MPI, OpenMP, Cactus, Globus and similar packages.
Category:   Computers - Software - Operating Systems - Mac OS

High Performance Computing on Mac OS X (Popularity: )
http://hpc.sf.net/
Collection of tools and information for scientific computation on Mac OS X including Fortran (g77, g95, HPF), MPI, OpenMP, Cactus, Globus, and RNPL among others.
Category:   Computers - Software - Operating Systems - Mac OS

Yellow Dog Linux (Popularity: )
http://www.yellowdoglinux.com/
PowerPC distribution, based on RPM and Red Hat, and with commercial technical support.
Category:   Computers - Software - Operating Systems - Graphic Subsystems

High Performance Computing using Mac OS X (Popularity: )
http://hpc.sourceforge.net/
Collection of open source tools for scientific computation: binaries, source, documentation and instructions for installing Fortran, MPI, OpenMP, Cactus, Globus and similar packages.
Category:   Computers - Systems - Apple - Macintosh

RackSaver, Inc. (Popularity: )
http://www.racksaver.com/
Specializes in Beowulf clusters with tiny footprints. Product information.
Category:   Computers - Parallel Computing - Beowulf - Vendors

BMDFM (Binary Modular DataFlow Machine) (Popularity: )
http://bmdfm.de/
Automatical parallel execution of sequential applications on SMP computers. Identifies all parallelism by static and dynamic scheduling. No parallelizing directives are required. Uses Dataflow.
Category:   Computers - Parallel Computing - Programming - Environments

Groningen, University of (Popularity: )
http://www.cs.rug.nl/
Department of Mathematics and Computing Science. Research fields include theoretical computer science, high performance computing and imaging, artificial intelligence, parallel and distributed computing, embedded systems, agent technology and neural networks ...
Category:   Computers - Computer Science - Academic Departments - Europe

Hong Kong, Chinese University of, (CUHK) (Popularity: )
http://www.cse.cuhk.edu.hk/
Department of Computer Science and Engineering. Research areas include algorithms, Chinese processing, high performance computing, intelligent systems, parallel and distributed computing, rapid system prototyping, visualization, virtual reality and VLSI ...
Category:   Computers - Computer Science - Academic Departments - Asia

University of Sydney (Popularity: )
http://www.cs.usyd.edu.au/
Basser Department of Computer Science. Areas of research include algorithm design and complexity analysis, biomedical and multimedia information technology, databases, the Plan 9 OS, and data mining of natural language.
Category:   Computers - Computer Science - Academic Departments - Oceania

University of Maryland at College Park - Computer Science Department (Popularity: )
http://www.cs.umd.edu/
Offers B.S., M.S., and Ph.D. degrees in computer science. Research interests include artificial intelligence, distributed systems, databases, high performance computing, human-computer interaction, and software engineering. On-line research papers available ...
Category:   Computers - Computer Science - Academic Departments - North America
Go to << Prior 1 2 3 Next >> page