Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
Learn More
Professional Email Hosting for Small Business | Greatmail
Ready to switch to a more reliable and secure email hosting solution?
Dependable cloud based email hosting with spam filtering, antivirus protection, generous storage and webmail. Compatible with Outlook and all other POP3/IMAP clients. High volume SMTP service for responsible senders. Outbound relay service for transactional messages, email marketing campaigns, newsletters and other applications. Dedicated email servers, clustering and multiple IP load balancing for high volume senders. Fixed monthly cost with unlimited sending and reputation monitoring. Greatmail is an email service provider (ESP) specializing in business class email hosting, SMTP hosting and email servers. For ISPs, application programmers and cloud developers, we also provide custom solutions including dedicated IP servers and process specific, load balanced configurations with multiple servers.
GLOOP is Liquid Object Oriented Particles. libGLOOP render implicit surfaces from a set of "meta-points". Uses include: modeling liquids, volume rendering, computerized silly putty. Based on code by Brian Sharp
A dialect-neutral Smalltalk library which supports communication with NMEA enabled devices, such as GPS receivers. The initial specific target device will be a Magellan GPS315 receiver.
An object oriented Java package that can be used to store 3-D graphs and perform various functions on them, arranging nodes with a spring embedder and generating VRML output. Visit http://vrmlgraph.i-scream.org.uk for documentation and examples.
The purpose of the project is to develop a quantitative medical imaging & visualization program for use on brain MR, DTI and MRS data. It is a joint project of the Kennedy Krieger Institute & the Johns Hopkins University, Psychiatric Neuroimaging Lab
JSCAPE is a Flexible, Scalable MFT Solution That Supports Any Protocol, Any Platform, Any Deployment
Platform Independent Managed File Transfer Server. JSCAPE is the perfect solution for businesses and government agencies looking to centralize your processes and provide secure, seamless and reliable file transfers. Meet all compliance regulations including PCI DSS, SOX, HIPAA and GLBA.
Conic Planet is a CGI application which renders a photo-realistic real-time image of the Earth and other planets. It has support for Azimuthal, Mercator, Mollweide, Orthographic, and Rectangular projections. It also shows the current cloud covering.
DISCONTINUED SimSimSim offers help for writing simulation-like programs,
by taking care of mundane issues such as managing the display
window, 3D rendering (X, OpenGL, etc), simulation control (start/stop),
random number generation, settings, message l
What is HRTP anyway? HRTP is a ray tracer with lots of plugins. Why this name? HRTP stands for "Hyperion Ray Tracing Project". I chose this name based on Hyperion, a greek God of Light
Parallel GLUT is a parallel implementation of the OpenGL utility toolkit (GLUT) library. It adds a minimal set of constraints and extensions to the GLUT API, allowing the usage of multiple GPU's for multiple display devices and/or increased performance.
voluminium is a library for efficiently visualising "image functions" (ie any function which returns a color given a 2D position) by adaptive sampling, reconstruction and continuous refinement.
VisTer is system for terrain and landscapes visualization. It is graphical scene editor with built-in java3d renderer, which may be used in your java3d application. VisTer is based on plug-in system, so you can easily develope and test our own algorithms
It's revolutionary invention for design of any product or design project, cause work with basics of Nature/Universe, it works with origin of all things created, a Light.
Screen (or SCalable REndering ENgine) is a rendering engine based on both 3D rendering and highlty parallel algorithms. It provides powerful scripting interfaces and integrated development environment for 3D games and scientific simulations.