Search Results for "computer system optimization" - Page 2
Sort By:
Showing 72 open source projects for "computer system optimization"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch 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.
-
1
mapgraph
Massively Parallel Graph processing on GPUs -- now part of Blazegraph
Mapgraph is SYSTAP’s disruptive new technology to exploit the main memory bandwidth advantages of GPUs. The early work was co-developed with the University of Utah SCI Institute and has its pedigree in the UINTAH software running on over 750M cores on the TITAN Super Computer. Today, SYSTAP has commercialized this technology into it’s Blazegraph Accelerator and Blazegraph HPC products. Checkout our options for GPU acceleration of graphs or contact us to learn more: ... -
2
Maxima poles-zeros for analog circuits
Maxima script for symbolic analysis of analog integrated circuits
Script for Maxima (a Computer Algebra System) that performs symbolic analysis of analog integrated circuits. Script allows to find approximated poles and zeros of transfer functions, developed and optimized for transfer functions of amplifiers, but can be used also for any general analog circuit. The script calculates DC transfer function, zeros, poles and creates Bode plots. -
3
Free computer algebra system, compatible with existing CAS, as a C++ library with various user interfaces (GUI with formal spreadsheet and exact dynamic geometry, on-line, readline, emacs, texmacs...).
-
4
Assisted dRawing toOl
ARO helps physically disabled students to create mathematical drawings
ARO has been developed to assist physically disabled or injured students who cannot create mathematical drawings on paper. It is intended to make maths up to Key Stage 4 more accessible. AQA has agreed to its use in a GCSE maths exam. Anyone who can use a computer with a mouse to access the internet should be able to use ARO. The processes required mimic those of on paper drawing as far as possible. Possible applications include: Graphs of straight lines and smooth curves Compass and... -
Our Free Plans just got better! | Auth0You 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.
-
5
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. ... -
6
HELP TARZAN
A mathematical skill testing game specially for the kids.
Description: HELP TARZAN is a mathematical skill testing game specially for the kids. It is an educational software for all 32bit and 64bit Windows operating system. Recommendations: You must have installed .netframework 4.5 in your computer. Download Link of .NetFramework 4.5: http://www.microsoft.com/en-us/download/details.aspx?id=30653 or, http://www.filehippo.com/download_dotnet_framework_4/ If you have .NetFramework 3.5 then you may use the portable file / zipped file. Homepage: https://sourceforge.net/p/helptarzan Version: 1.0.0 Release date: September 26, 2013 Download info: For play HELP TARZAN you can download any one of them. ... -
7
Semantic query optimization (SQO) is the process of finding equivalent rewritings of an input query given constraints that hold in a database instance. We present a Chase & Backchase (C&B) algorithm strategy that generalizes and improves on well-known methods in the field. The implementation of our approach, the pegasus system, outperforms existing C&B systems an average by two orders of magnitude.
-
8
Gait Monitoring +
Calculates NPA PPA of a human gait based on input of data
The purpose of developing Gait Monitoring+ software system is to calculate the average acceleration cycle of all cycles of an experiment, and also to calculate the positive peak acceleration (PPA) and the negative peak acceleration (NPA). The experiment is performed by attaching triaxial accelerometer device to the tibia bone of a person who is walking on a Treadmill. Raw data obtained by the experiment is input data for Gait Monitoring+ system. -
9
f2what
Lapack/quadprog QP for VBA/.Net/Java
...It also offers already translated versions of Lapack and quadprog to Java, .Net and VBA, to give access to SVD, LU, QR, Cholesky, eigenvalue decomposition, linear system solving and QP optimization in those three languages. -
Compliant and Reliable File Transfers Backed by Top Security CertificationsStop 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.
-
10
A library analog to those included in Matlab without the need of external libraries; just right for embedded or static linking. MTL was used to build a 3d Scanner. MTL consists of pars B - Basic Functions, Matrices, Images, Hypermodels (3d Models and up) N - Numeric Functions ranging from linear regression over nonlinear optimization to singular-value computation I - Image filters and Image enhancement H - Hardware related (optional part), does require additional libraries and is only...
-
11
SymbolicC++
An object oriented C++ library for computer algebra
SymbolicC++ is a general purpose computer algebra system embedded in the programming language C++. It is free software released under the terms of the GNU General Public License. SymbolicC++ is used by including a C++ header file or by linking against a library. -
12
-
13
The Harmony of the World
A fair attempt at the Keplerian tradition to explore the solar system
...However, when the scientist Kepler discovered special principles about planetary motion, he also reconsidered the music. Apparently his observance of a harmonic law of planetary motion was reason for him to propose a computable system of pitch and harmony deriving from angular velocity. The purpose of the programming project is as a tool to examine his system. With Java 2, it provides an open-source solution for listening to harmonies so generated by planetary motion. This program can run on any computer provided with a Java Virtual Machine (Rev 1.5 or greater). ... -
14
Java Micro Benchmark - control tasks required to determine the comparative performance characteristics of the computer system on different platforms. Can be used to determine the effect of different software on the performance of a computer system.
-
15
Web based PHP interface to communicate to Maxima computer algebra system in the server. It takes user input, send it to Maxima, and show the output back to website. It could send almost any commands including 'plot2d' and 'plot3d' to plot graphs.
-
16
-
17
MuPAD-Combinat is an open-source algebraic combinatorics package for the Computer Algebra System MuPAD.
-
18
Once upon a time there was a pocket calculator called the HP15C. It used a system called Reverse Polish Notation (RPN) for doing its calculations. The Fairwood Calculator is a RPN calculator designed for the computer.
-
19
LSGTL means LLX’s Static Graph Template Library which is a light-weighted header-only template library developed mainly for static graph analysis. LSGTL is expected to be used in laboratories for research purposes mostly.
-
20
Tailorshop: Optimization based Analysis and data Generation tOol. Support tool for the computer test scenario "Tailorshop" that is the basis for many psychological studies. Data can be generated, visualized, and provided to optimization solvers.
-
21
IMathAS is a web-based math assessment and homework system. It is a course/learning management system (CMS/LMS/VLE) and testing system featuring algorithmic questions, similar to WebWork, Webassign, and publisher systems like iLrn, MathXL, etc.
-
22
-
23
PowerMath is a computer algebra system designed for all science. It has the ability, but not the limitation, to complete advanced or simple science and math problems. It runs from DOS but programmers are needed to program a GUI for the software.
-
24
Franklin Math is an open source Java symbolic computer algebra system (CAS), with similarities to commercial math packages such as MATLAB or Mathematica. It allows numeric and symbolic calculations, with built-in functions including plotting commands.
-
25
MathWorx is a JavaScript library of mathematical objects, also including 2D plotting functionality and will eventually have 3D object compatibility. A GUI editor will be made based on these libraries to ease the development of interactive math pages.