-
software for structural, fluid, heat transfer, and
multiphysics problems.
ACSL and
acslX - an
advanced continuous simulation language.
Algodoo - 2D
physics simulator...
-
suite of
machine learning software written at the
University of Waikato.
acslX is a
software application for
modeling and
evaluating the
performance of...
- The
Advanced Continuous Simulation Language, or
ACSL (pronounced "axle"), is a
computer language designed for
modeling and
evaluating the
performance of...
-
There is also the Anti-Capitalist
Software License (
ACSL),
built off of the MIT license. The
ACSL is not OSI-approved, nor does it
qualify as a free software...
- 2010-06-20. "Are MLC SSDs Ever Safe in
Enterprise Apps?". Storagesearch.com.
ACSL.
Archived from the
original on 2008-09-19. Lucchesi, Ray (September 2008)...
-
analysis framework for C,
based on the ANSI/ISO C
Specification Language (
ACSL). Its main
techniques include abstract interpretation,
deductive verification...
- Zsolt. "Western
Digital Solid State Storage –
formerly SiliconSystems".
ACSL.
Retrieved 2010-06-19. "SSDs –
Write Amplification, TRIM and GC" (PDF). OCZ...
- Frama-C WP (weakest precondition)
plugin for the C
language extended with
ACSL (ANSI/ISO C
Specification Language) ).
Model checking,
considers systems...
-
States of
America Computing Olympiad (USACO). The
Computer Team won the
ACSL All-Star
Competition Senior Division in 1991, 1993, 2001, 2003, 2009, 2011...
-
Microsoft Hyper-V, Oracle, Sybase,
Microsoft SQL Server, NDMP,
Oracle ACSLS, IBM DAS/ACI,
Microsoft Exchange Server, DB2, and Teradata.
Quest Software...