Search Results for "logic analysis" - Page 4
Sort By:
Showing 103 open source projects for "logic analysis"
View related business solutions-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
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.
-
1
tv16k7
trace viewer and bus decoders for data captured by Agilent 16700 LA
A tool for graphical analysis of digital traces recorded by Agilent's Logic Analyzers like HP16700. It is possible to perform higher level bus protocol decoding and parsing with help of "search" tab. These tabs are used to select the Bus Decoder (plugin shared library), configure Bus Decoder parameters and execute higher level analysis. The tool tries to be self descriptive and get as many information as possible from HP16700 for better documenting labor: e.g. test cases, spotted issues and so on. ... -
2
DataCleaner
Data quality analysis, profiling, cleansing, duplicate detection +more
DataCleaner is a data quality analysis application and a solution platform for DQ solutions. It's core is a strong data profiling engine, which is extensible and thereby adds data cleansing, transformations, enrichment, deduplication, matching and merging. Website: http://datacleaner.github.io -
3
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models... -
4
VisualStudio_Scan
VisualStudio plugin for static analysis of C/C++ code.
...It can find critical issues such as null pointer dereference, memory leaks, buffer overrun, and logic errors -
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
5
-
6
The Apelon DTS (Distributed Terminology System) is an integrated set of open source components that provides comprehensive terminology services in distributed application environments.
-
7
BGP Looking-glass
Open Source BGP Looking-glass
BigPlg allows the collection of the IPv4 Internet routing table which may be viewed by service providers and/or ISP customers to validate IP routing across autonomous systems. Routing updates may also have attributes aliased to become (graph) readable. This function exists to allow the exporting of RIB updates to Splunk, or any such data collector. A beneficial side-effect of collecting BGP routing information is the ability to track BGP updates/events local or remote(upstream). To analyze... -
8
Xross Tab / QScript
Market Research Data Processing Suite
XTCC/Qscript revolves around two concepts: 1) Data collection : Qscript 2) Data analysis : XTCC Qscript enables Market Research companies to securely collect data using online and offline mediums such as web, tablets/mobile. Different products include: 1) Pen and Paper Survey Management Qscript enables faster and easier keyboard entry with real time logic and validation. It generates SPSS and IBM Quantum compatible data tabulation programs leading to significant time savings of up to 80%. ... -
9
locusvu
Tool for genomics;automates data retrieval from db;enables workflows
...It then enables multiple workflows on the retrieved results, like comparing multiple datasets (comparative genomics), viewing neighboring genes for a loci from within the tool itself, or graphically representing these results in bar / pie charts. LocusVu has a simple easy-to-use GUI on the frontend which enables intuitive user interaction with the underlying logic. The tool can be easily extended to add support for other databases (eg. Ensembl) or to fetch information from other tables in the database. Thus, LocusVu provides a basic framework that can be used by users and developers alike in simplifying existing workflows and creating newer ones to support data analysis in genomics. -
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
10
Myrtle
A simple programmable spreadsheet for learning statistics.
Myrtle is a simple programmable spreadsheet and statistical analysis software specifically designed for learning statistics. It provides the standard spreadsheet functionality one would expect like multiple tabbed sheets, relative and absolute row and column referencing in formulas, and a large catalog of built-in functions. Functions specific to logic and computer science, mathematics, probability, and statistics are available. -
11
CytoCopteR
A Cytoscape plug-in for training logic models, based on CellNOptR.
Homepage: www.cellnopt.org Based on prior knowledge networks CellNOptR can derive functional information about the network using logic modeling. CytoCopteR is a friendly way to use CellNOptR taking advantage of the network visualization and analysis of Cytoscape and without requiring knowledge on R. -
12
The sigrok project aims at creating a portable, cross-platform, Free/Libre/Open-Source signal analysis software suite that supports various device types, such as logic analyzers, MSOs, oscilloscopes, multimeters, LCR meters, sound level meters, thermometers, anemometers, light meters, dataloggers, function generators, power supplies, GPIB interfaces, and more.
-
13
Concurrency Workbench NC
Automatic verification of concurrent software systems
...The tool allows the user to write a description of the system at hand in one of several design languages (CCS, CSP, LOTOS, PCCS, SCCS, TCCS). Furthermore it supports a variety of automated verification and analysis techniques to check whether the system adheres to its specifications. Among the verification and analysis techniques are: - Behavioral-Relation-Based Verification - Temporal-Logic-Based Verification - Interactive Simulation - Reachability analysis -
14
Alchemy is a software package providing a series of algorithms for statistical relational learning and probabilistic logic inference, based on the Markov logic representation.
-
15
process logic expression with binary tree, it can be used on the expert system's facts logic expression especailly infere with database.it needs java6 environment.any question plz contact with me nicky.jcoder@gmail.com
-
16
An educational tool for designing and simulating digital logic circuits, featuring a simple-to-learn interface, hierarchical circuits, wire bundles, and a large component library. As a Java application, it can run on many platforms.
-
17
PHP Business Rules is an open source application layer for PHP. The logic is defined in rules and facts. Like most Business Rule Engines (BRE) it uses the Rete algorithm.
-
18
Extcalc is a multifunctional scientific graphic calculator for linux with features like graph drawing, graph analysis and calculating scientific functions including differentiation, integration and logic functions.
-
19
Fuzzy logic add-in for OpenOffice.org Calc. InrecoLAN FuzzyMath allows to perform ordinary arithmetic operations and use ordinary mathematical and financial functions with fuzzy numbers. Have any ideas how to improve this project - you are welcome!
-
20
-
21
This Java project intends to implement a set of functions allowing a user to manipulate classical propositional logic statements and reason about their properties and connections.
-
22
The Citizen Privacy Service is an asynchronous component using artificial intelligence capabilities including DL decidability and first order logic provenance that provide policy decision and policy enforcement points based on the US Privacy Act of 1974.
-
23
Cellogica is a cellular logic analysis tool. It incorporates sequential logic and finite state machine to elucidate the relationship between transcription factors and corresponding gene expression.
-
24
Toolkit for implementing question answering systems and machine translation in both controlled languages and natural languages. Includes first order logic inference, parsing and semantic analysis, and APIs and standalone server software. Currently some t
-
25
The Unit Command Climate Assessment and Survey System (UCCASS) is a PHP survey script for creating dynamic surveys. Supports unlimited questions and answers, branching logic, bar graph results with filtering, CSV export, templates, time limits and more..
