Search results
Results From The WOW.Com Content Network
Ray tracing is a technique that can generate near photo-realistic computer images. A wide range of free software and commercial software is available for producing these images. This article lists notable ray-tracing software.
Coverity is a proprietary static code analysis tool from Synopsys. This product enables engineers and security teams to find and fix software defects. Coverity started as an independent software company in 2002 at the Computer Systems Laboratory at Stanford University in Palo Alto, California.
Klocwork is a static code analysis tool owned by Minneapolis, Minnesota-based software developer Perforce. Klocwork software analyzes source code in real time, simplifies peer code reviews, and extends the life of complex software. [1]
HDL simulators are software packages that simulate expressions written in one of the hardware description languages, such as VHDL, Verilog, SystemVerilog .
The Great Internet Mersenne Prime Search ( GIMPS) is a collaborative project of volunteers who use freely available software to search for Mersenne prime numbers.
A coincidence rangefinder or coincidence telemeter is a type of rangefinder that uses the principle of triangulation and an optical device to allow an operator to determine the distance to a visible object. There are subtypes split-image telemeter, inverted image, or double-image telemeter with different principles how two images in a single ocular are compared. Coincidence rangefinders were ...
RECFAST — Software was developed by Seager, Sasselov, and Scott and used to calculate the recombination history of the universe. The package is used by cosmological boltzmann codes (CMBFast, CAMB etc.) TOAST — Time Ordered Astrophysics Scalable Tools, developed and designed by Theodore Kisner, Reijo Keskitalo, Jullian Borrill et al.
Accelerator physics codes. A charged particle accelerator is a complex machine that takes elementary charged particles and accelerates them to very high energies. Accelerator physics is a field of physics encompassing all the aspects required to design and operate the equipment and to understand the resulting dynamics of the charged particles.
The Vienna Ab initio Simulation Package, better known as VASP, is a package written primarily in Fortran for performing ab initio quantum mechanical calculations using either Vanderbilt pseudopotentials, or the projector augmented wave method, and a plane wave basis set. [2] The basic methodology is density functional theory (DFT), but the code also allows use of post-DFT corrections such as ...
This is a list of notable tools for static program analysis (program analysis is a synonym for code analysis).