Search Results for "linear"
Sort By:
Showing 31 open source projects for "linear"
View related business solutions-
Deploy Red Hat Ansible Automation Platform on Microsoft Azure for a strategic automation solution that allows you to orchestrate, govern and operationalize your Azure environment.
-
HubSpot is an AI-powered customer platform with all the software, integrations, and resources you need to connect your marketing, sales, and customer service. HubSpot's connected platform enables you to grow your business faster by focusing on what matters most: your customers.
-
1
ArrayFire
ArrayFire, a general purpose GPU library
ArrayFire is a general-purpose tensor library that simplifies the process of software development for the parallel architectures found in CPUs, GPUs, and other hardware acceleration devices. The library serves users in every technical computing market. Data structures in ArrayFire are smartly managed to avoid costly memory transfers and to take advantage of each performance feature provided by the underlying hardware. The community of ArrayFire developers invites you to build with us if... -
2
Apache HBase
Get random, realtime read/write access to your Big Data
Use Apache HBase™ when you need random, realtime read/write access to your Big Data. This project's goal is the hosting of very large tables, billions of rows X millions of columns, atop clusters of commodity hardware. Apache HBase is an open-source, distributed, versioned, non-relational database modeled after Google's Bigtable. A Distributed Storage System for Structured Data by Chang et al. Just as Bigtable leverages the distributed data storage provided by the Google File System, Apache... -
3
DEVS-Suite Simulator
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Integrated component-based and cellular automata (CA) Parallel DEVS simulator: https://acims.asu.edu/devs-suite/ OFFERS: 1) synchronized execution & animation, 2) run-time linear/superdense I/O & state trajectories, 3) Action Level Real-Time modeling & simulation, 4) model checking, 5) ABM, 6) CA & composable CA playback, 7) KIB interaction modeling, 8) hierarchical model libraries, 9) Black-Box testing & debugging, 10) PostgreSQL repository, 11) FMU (OpenModelica), 12) OSATE (AADL... -
4
LEDSpicer
LEDSpicer a LED Animator and Controller for Linux
LEDSpicer is a linear LED controller daemon that will handle single color or a RGB LEDs connected to different devices. It allows the execution of animations and profiles and handle can input to interact with the LEDs, profiles can be triggered based on different events, like programs running, network input, game name, etc. Includes some utilities to make an arcade cabinet more attractive and cool! -
ConnectWise CPQ, formerly ConnectWise Sell, is a professional quote and proposal automation software for IT solution providers. ConnectWise CPQ offers a wide range of tools that enables IT solution providers to save time, quote more, and win big. Top features include professional quote or proposal templates, product catalog and sourcing, workflow automation, sales reporting, and integrations with best-in-breed solutions like Cisco, Dell, HP, and Salesforce.
-
5
Mega SD Cart BIOS
VTech creatiVision Mega SD Cart BIOS
BIOS replacement for Mega SD Cart ROM loading and development. -
6
wzd
Powerful storage server, designed for big data storage systems
wZD is a server written in Go language that uses a modified version of the BoltDB database as a backend for saving and distributing any number of small and large files, NoSQL keys/values, in a compact form inside micro Bolt databases (archives), with distribution of files and values in BoltDB databases depending on the number of directories or subdirectories and the general structure of the directories. Using wZD can permanently solve the problem of a large number of files on any POSIX... -
7
dosbox-ppcjit
DOSBox + PowerPC JIT = <3
... Preferences before starting the program. All versions are built using Xcode 2.5 with -O3 -fsched-interblock -ftree-loop-linear. The G5 version has additional flags for better performance on the 970. All versions include SDL 1.2.15 and libpng. There is no support for this or any SVN build of DOSBox. These builds are provided strictly as a convenience and you use them at your own risk. Updates to current SVN may occur intermittently or never; you are strongly advised to roll your own. -
8
EasyDarwin
Industrial rtsp streaming server
... format. EasyDarwin is able to transcode G.711A/PCMA, G.711U/PCMU, and other audio formats to Linear PCM. Provided to the public in the form of SDK, completely free to use. Provides a series of streaming media audio and video development practical tools to help developers quickly solve problems in the process of operation, maintenance and debugging. -
9
autoCode4
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures... -
BrightGauge, a ConnectWise solution, was started in 2011 to fill a missing need in the small-to-medium IT Services industry: a better way to manage data and provide the value of work to clients. BrightGauge Software allows you to display all of your important business metrics in one place through the use of gauges, dashboards, and client reports. Used by more than 1,800 companies worldwide, BrightGauge integrates with popular business solutions on the market, like ConnectWise, Continuum, Webroot, QuickBooks, Datto, IT Glue, Zendesk, Harvest, Smileback, and so many more. Dig deeper into your data by adding, subtracting, multiplying, and dividing one metric against another. BrightGauge automatically computes these formulas for you. Want to show your prospects how quick you are to respond to tickets? Show off your data with embeddable gauges on public sites.
-
10
GloVe
GloVe model for distributed word representation
GloVe is an unsupervised learning algorithm for obtaining vector representations for words. Training is performed on aggregated global word-word co-occurrence statistics from a corpus, and the resulting representations showcase interesting linear substructures of the word vector space. The links provided contain word vectors obtained from the respective corpora. If you want word vectors trained on massive web datasets, you need only download one of these text files! Pre-trained word vectors... -
11
Bat2015
Bachelor of Science (Informatik)
The toolkit glpk supports methods for mixed integer linear programming (MILP). These methods solve Capital Budgeting Problems (CBP). Unfortunately, glpk does not support any multithreading and there is no feature to distribute problems via network connections. Today, this is a pitiable sight, because modern computer systems are coupled by networks and support multi threading. We create a distributed system with Apache thrift and the C-API of glpk. Now, it is possible to use as many cores... -
12
Python Control Systems Library
Feedback control system analysis and design
The Python Control Systems Library, python-control, is a python module that implements basic operations for analysis and design of feedback control systems. This homepage for this project is at http://python-control.org and the code base in maintained at https://github.com/python-control/python-control. Information on this page is out of date, but left here for posterity. -
13
ViennaCLBench
OpenCL linear algebra benchmark GUI for CPUs, GPUs, and MIC
ViennaCLBench provides a graphical user interface for collecting benchmark data for common OpenCL-accelerated linear algebra operations as implemented in the linear algebra library ViennaCL. -
14
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,... -
15
This command-line Linux installer (programmed in the Bash language) provides an easy way to install Linux without needing a graphical interface or server. It works in a linear fashion.
-
16
* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol
-
17
Scarlet is an extension for Atlassian JIRA, the leading Enterprise issue tracking and management software, allowing easy clustering of JIRA application instances, ensuring both high availability and linear scalability.
-
18
PyramidWorkshop is an image-compression System based upon the scientific work of John Robinson (inventor of BTPC) about image-compression with adaptive linear predictors and is in average more efficient than PNG/JPEG2000.
-
19
Simple tool to parse the contents of /proc or /sys entries and graph their values. An oscillosope for software types. Intended for developers, admins or the curious to understand the performance and behaviour of their systems.
-
20
Pydusa is a package for parallel programming using Python. It contains a module for doing MPI programming in Python. We have added parallel solver packages such as Parallel SuperLU for solving sparse linear systems.
-
21
Nagosion is a new Open Source Project which give you an other approch of Supervision. In fact, Nagosion allows you to create a linear regression model in order to graph your futur capacity storage needs.
-
22
IBAM is an advanced battery monitor for laptops, which uses statistical and adaptive linear methods to provide accurate estimations of minutes of battery left or of the time needed until full recharge.
-
23
MacOS X does not provide support for SCSI tape drives. The purpose of this project is to implement a user client application to perform many common operations such as those normally handled by mt as well as reading and writing.
-
24
This program parallelizes the BZIP2 compression process to achieve a near-linear performance increase on SMP machines. On a two-processor Xeon machine, the speedup is around 180%. The tool's main purpose is to aid performing heavy-duty server backup
-
25
LinProg.NET is a framework for mathematical programming, supporting linear, integer, boolean and quadratic programming.