| 42 Computer Science - Software Resources |
| Abstract State Machines
|
| A simple yet powerful formal method for specifying and validating computing systems of all types.
|
| Open |
Open Tab |
|
Provides Information |
| Adaptive Simulated Annealing (ASA)
|
| one of the most powerful optimization algorithms for nonlinear and stochastic systems.
|
| Open |
Open Tab |
|
Provides Information |
| Algorithmic Information Theory
|
| G. J. Chaitin's series of lectures at the Santa Fe Institute in April 1995.
|
| Open |
Open Tab |
|
Provides Information |
| Analyst Pro
|
| A tool for systems analysts and software engineers to manage software requirements and test cases throughout the system life cycle.
|
| Open |
Open Tab |
|
Provides Products |
| Arjuna Solutions Limited
|
| Commercial provider of distributed transaction processing technology.
|
| Open |
Open Tab |
|
Provides Information |
| C |
| Center for Reliable and High Performance Computing
|
| The center focuses on research in the areas of high-performance computing, high-performance architectures, fault tolerance, and testing.
|
| Open |
Open Tab |
|
Provides Information |
| Character Recognition by Feature Point Extraction
|
| The ability to identify machine printed characters in an automated or a semi-automated manner has obvious applications in numerous fields. Since creating an algorithm with a one hundred percent correct recognition rate is quite probably impossible in our world of noise and different font styles, it is important to design character recognition algorithms with these failures in mind so that when mistakes are inevitably made, they will at least be understandable and predictable to the person working with the program.
|
| Open |
Open Tab |
|
Provides Information |
| College coders working with IBM's Project Zero Web 2.0 tool
|
| Students at North Carolina State University (NCSU) are learning to build business applications in the Web 2.0 mold using an IBM incubator project called Project Zero.
|
| Open |
Open Tab |
April 11, 2008 |
Provides Information |
| Computational Geometry Algorithms Library
|
| C++ library of algorithms and data structures used in computational geometry.
|
| Open |
Open Tab |
|
Provides Information |
| D |
| Data Modelling
|
| Explains the value of data modelling in an application analysis project.
|
| Open |
Open Tab |
|
Provides Information |
| Database and Information Systems
|
| research projects involve knowledge discovery, high dimensional access methods.
|
| Open |
Open Tab |
|
Provides Information |
| Distributed Algorithms and Systems
|
| Overview site with academic links. Hosted at Chalmers University of Technology.
|
| Open |
Open Tab |
|
Provides Information |
| G |
| Geometry Algorithms
|
| Resources for geometry algorithm software.
|
| Open |
Open Tab |
|
Provides Information |
| Georgia Tech Research Institute
|
| Develops hardware and software and conducts studies for government, industry, and academia.
|
| Open |
Open Tab |
|
Provides Information |
| Globus Project
|
| Research project developing a software infrastructure for distributed computing on a world-wide scale.
|
| Open |
Open Tab |
|
Provides Information |
| Godel's Theorem and Information
|
| using arguments having an algorithmic information theory flavor.
|
| Open |
Open Tab |
|
Provides Information |
| Goodbye To Faulty Software?
|
| Will it ever be possible to buy software guaranteed to be free from bugs? A team of European researchers think so. Their work on the mathematical foundations of programming could one day revolutionise the software industry.
|
| Open |
Open Tab |
July 19, 2008 |
Provides Information |
| H |
| Hendrickson Components
|
| Microsoft DNA software architects, software engineering, and development.
|
| Open |
Open Tab |
|
Provides Information |
| Henley Software
|
| From producing the original specifications, through development and implementation to training and support, we can manage your entire project.
|
| Open |
Open Tab |
|
Provides Information |
| High Performance System Software Laboratory
|
| Group contact information and research description.
|
| Open |
Open Tab |
|
Provides Information |
| I |
| Imperial College Distributed Software Engineering Group
|
| Research focus includes software development process and support for real-time distributed systems.
|
| Open |
Open Tab |
|
Provides Information |
| InCom LLC Computer Services
|
| Computer Networking, Internet Services, Web Development, ACCPAC Representative, Custom Software, Multimedia.
|
| Open |
Open Tab |
|
Provides Information |
| International Function Point User Group
|
| A non-profit organization promoting the use of function point analysis and other software metrics.
|
| Open |
Open Tab |
|
Provides Information |
| M |
| Microsoft Develops New Operating System From Scratch
|
| Microsoft Research unveiled the new operating system, Singularity, as a prototype aimed at academics and researchers.
|
| Open |
Open Tab |
March 4, 2008 |
Provides Information |
| Microsoft researches user interface for the illiterate
|
| Creating smarter iconic images for different countries and cultures is a key challenge.
|
| Open |
Open Tab |
March 7, 2008 |
Provides Information |
| Microsoft Sees Parallel App Development as Future Trend
|
| With multi-core processors becoming a preferred method for building more powerful computers, Microsoft anticipates that a key trend for the future of application development will be accommodating parallel systems.
|
| Open |
Open Tab |
June 5, 2008 |
Provides Information |
| MIT LCS Theory of Computation Group
|
| algorithms, complexity theory, computation and biology, cryptography and information security, distributed systems, numerical analysis and scientific computing, semantics, and supercomputing technologies.
|
| Open |
Open Tab |
|
Provides Information |
| O |
| Opsis
|
| Java applet that can be used to teach balanced binary search tree algorithms. Unique in that it combines elements of programming, proof, and animation to enhance learning.
|
| Open |
Open Tab |
|
Provides Information |
| R |
| RAISE
|
| Describes a language, method and tools known as the Rigorous Approach to Industrial Software Engineering.
|
| Open |
Open Tab |
|
Provides Information |
| S |
| Software Architecture, Architects and Architecting
|
| Provides resources for software architects, answers such questions as "what is software architecture" and "why is it important", and covers the architecting process and role of the architect.
|
| Open |
Open Tab |
|
Provides Information |
| Software Development Resources
|
| Whole variety of resources courtesy of Construx Software Builders Inc.
|
| Open |
Open Tab |
|
Provides Information |
| Software Productivity Research
|
| Software process management articles, tools, and consulting, led by Capers Jones.
|
| Open |
Open Tab |
|
Provides Information |
| Software Research, Inc.
|
| Improve customer delivered software quality through research, design, and implementation.
|
| Open |
Open Tab |
|
Provides Information |
| Stony Brook Algorithm Repository
|
| a comprehensive collection of algorithm implementations for fundamental problems in combinatorial algorithms.
|
| Open |
Open Tab |
|
Provides Information |
| Supercomputers Simulating As Close As Possible To Reality
|
| Supercomputers simulate products and manufacturing processes with-in minutes. In the Computer Aided Robust Design CAROD project, Fraunhofer researchers are developing new methods and software that significantly improve the quality of the virtual components.
|
| Open |
Open Tab |
April 14, 2008 |
Provides Information |
| T |
| Tails of Software Engineering
|
| Information for professional women in the field of software and computer engineering, including discussion board, and programming tips.
|
| Open |
Open Tab |
|
Provides Information |
| The ESPICE Project in Iceland
|
| Assisting and encouraging Icelandic companies in software process improvement.
|
| Open |
Open Tab |
|
Provides Information |
| U |
| UCSD/UIUC Concurrent Systems Architecture Group
|
| focuses on hardware and software architecture issues in parallel and distributed computer systems.
|
| Open |
Open Tab |
|
Provides Information |
| Ultrafast Parallel Algorithms and Reconfigurable Meshes
|
| surveys some ultrafast parallel algorithms for PRAMs and reconfigurable meshes.
|
| Open |
Open Tab |
|
Provides Information |
| USC Information Sciences Institute
|
| Technical reports, software, research groups.
|
| Open |
Open Tab |
|
Provides Information |
| Y |
| Yale Lind
|
| Pogramming Languages and Software Systems group in the Department of Computer Science, explores a variety of research topics in parallel and distributed computing, adaptive computation, and parallel programming languages.
|
| Open |
Open Tab |
|
Provides Information |