Compliant and Reliable File Transfers Backed by Top Security Certifications
Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.
Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
Start Free Trial
Save Up to 91% on Cloud Compute With Spot VMs
Automatic sustained-use discounts. One free VM per month. No negotiation needed.
Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
VisualPetri is Petri net editor for Windows platform based on GDI Plus library with an integrated simulator. Note: a Petri net is one of several mathematical representations of discrete distributed systems.
Mupisim is a simulator for distributed, mobile systems. Its primary purpose is the study of mobile processes (e.g. mobile agents) and their communication mechanisms. It may also be used to evaluate the efficiency of a given process migration scheme.
Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.
Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
Charmy is a tool for specification of Software Architectures through diagrammatic, UML-based notations, and validation of the architectural specification conformance with respect to functional requirements.
Agent based model of organizations considering the interplay between the formal hierarchical structure and the process network emerging while the organization performs a task-set.
CoPP is an object-oriented framework for developing algorithms for robot path planning. One of of the design goals is to make it easy to make comparisons between various path planning algorithms.
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Road traffic simulator/game with lots of vehicules, different drivers characteristics, accidents, detours, manual or script-driven traffic lights control, pedestrian traffic, road-works, and plenty more! Solve your simulated traffic-jams problems!
Through an agent-based model using Repast we are studying the impact of killer whales on several threatened marine mammal species, including Steller sea lions and sea otters in Alaska. Offical Web Site http://www.math.uaa.alaska.edu/~orca/
CellGIS is a wireless planning tool that uses Java and ASCII Raster maps format. It allows to implement more propagation models and funcionalities by means of plug-ins.
Yaobi is a fast collision detection library for general triangulated objects. It uses a hierarchical representation based on oriented bounding boxes. Yaobi compares well with other libraries when it comes to speed and memory consumption.
Fast instruction-set simulators for MIPS32. Includes an interpreter, static-compiled simulator builder, and a dynamic-compiled simulator that optionally uses multiprocessing. Runs statically-linked binary from cross-gcc. Supports GDB remote debugging.
FreeMarket is a software package for running simple virtual prediction futures markets that uses the renowned PHP scripting language and MySQL database tools. It is designed for educational and medium-scale research applications.
Aviones is a modular flight simulator designed to facilitate the research and development of autopilots, including control, state estimation, and communication techniques.
SciAO is an open-source, cross-platform, and user-friendly toolbox based on the Scilab/Scicos environment for modeling and simulation of wave optics, especially for the adaptive optics.