Search Results for "state-thread" - Page 80
Sort By:
Showing 3267 open source projects for "state-thread"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
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.
-
1
UML-VT
A Formal Verification Environment for UML Activity Diagrams
...The integration aims to facilitate the use formal verification in the early phases of the development, and to create an easy to use interface regardless of the users knowledge of formal methods. Furthermore, the integration leverages the higher abstraction of the development models in order to reduce the state explosion problem, thereby allowing the verification of more complex systems. -
2
LightSpMV
lightweight GPU-based sparse matrix-vector multiplication (SpMV)
LightSpMV is a novel CUDA-compatible sparse matrix-vector multiplication (SpMv) algorithm using the standard compressed sparse row (CSR) storage format. We have evaluated LightSpMV using various sparse matrices and further compared it to the CSR-based SpMV subprograms in the state-of-the-art CUSP and cuSPARSE. Performance evaluation reveals that on a single Tesla K40c GPU, LightSpMV is superior to both CUSP and cuSPARSE, with a speedup of up to 2.60 and 2.63 over CUSP, and up to 1.93 and 1.79 over cuSPARSE for single and double precision, respectively. -
3
HYBRYD
Library written in C with Python API for IPv6 networking
...Will put an IPv6 adress active available as soon as possible so that you can download pieces of codes. The aim of that coding was to use primary linux commands easily codable and make an object of an IPv6 connection. Moreover, the model is full-state! -
4
iGraph Framework contains the state of the art graph indexing techniques. This is implemented by using C++. You may use the Microsoft Visual C++ for importing the project and view the source code. iGraph Demo is the visualization tool for demonstrating the data loading/query processing of these indexing techniques.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
5
Abbot is a simple framework for unit and functional testing of Java GUIs. Facilitates generating user actions and examining component state. Supports recording and playback on any Java application.
-
6
Qihoo360 Atlas
A high-performance and stable proxy for MySQL
...Rewrite the network model and the threading model. Optimize the locking mechanism, performance improved immensely. When Atlas start, it will create multiple threads. One of them is the main thread, the others are working threads. The main thread is responsible for monitoring the connecting requests from clients, and the working thread only monitor the command request from the main thread. -
7
glu
Deployment Automation Platform
...Under the hood it coordinates distributed nodes, tolerating partial failures while continuing to drive toward the target state. By separating deployment recipes from environment specifics, glu encourages repeatable, testable releases for multi-service stacks. -
8
qooxdoo is a universal JavaScript framework for creating applications for a wide range of platforms. It has a comprehensive feature set, including an object-oriented programming model, an integrated tool chain and a state-of-the-art GUI toolkit. Note: Please note that as of 2011-10-26 the code repository for the project has been moved to https://github.com/qooxdoo/qooxdoo. The existing SVN repository will be set to read-only for the time being, and will not see any more updates.
-
9
GenNet
A Tool for Qualitative and Quantitative Modeling of Gene Regulatory Ne
A Tool for Qualitative and Quantitative Modeling of Gene Regulatory Networks. GenNet is a Java based tool called that facilitate the model checking user by providing a unique GUI layout for both qualitative and quantitative modeling of GRNs. GenNet also assists the modeling users by providing some extra features i.e. CTL editor, parameters filtering and input/output files management. Download pre-installed GenNet Virtual Box Image here... -
$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
Simple Web Server C++
An easy way to make REST resources available from C++ applications.
Please go to https://github.com/eidheim/Simple-Web-Server, as this sourceforge page will no longer be updated. -
11
Debian Upgrade System
Non-interactive upgrade Debian system
...All old configuration files are preserved and can be compared to new *.dpkg-dist files. If any error occur, this will be mailed to You. The auto roll back and health check features allows to get system in old state if upgrade or test fails. It is intended to be used as cron job. -
12
SWTOR Combat Log Analyzer
Grafischer Kampflog Analyzer für SWTOR
A new version (1.2) is out now! Check it out. Eine neue Version (1.2) ist draußen! Probiert es aus. Grouping the data (damage and heal) for each fight. Views with detailed data. Mit dem SWTOR Combatlog Analyser können die Kampflogs (gibt es seit SWTOR 1.2) ausgewertet werden. Viel Spass bei der Benutzung. With the SWTOR Combatlog Analyzer you are able to analyze the combat log of SWTOR (avaiable since 1.2). You must have Java 6 installed. Details are here:... -
13
ElastAlert
Easy and flexible alerting with ElasticSearch
We designed ElastAlert to be reliable, highly modular, and easy to set up and configure. It works by combining Elasticsearch with two types of components, rule types and alerts. Elasticsearch is periodically queried and the data is passed to the rule type, which determines when a match is found. When a match occurs, it is given to one or more alerts, which take action based on the match. This is configured by a set of rules, each of which defines a query, a rule type, and a set of alerts.... -
14
Qfsm
A graphical Finite State Machine (FSM) designer.
A graphical tool for designing finite state machines and exporting them to Hardware Description Languages, such as VHDL, AHDL, Verilog, or Ragel/SMC files for C, C++, Objective-C, Java, Python, PHP, Perl, Lua code generation. -
15
Easy HTTP: Easy Web Service Support
Classic Web Service Support
With all of the hoopla over Web Services, you would think that servicing user requests over HTTP was something new. While we all may have lots of experience with REST, JSON, XML, SOAP, WSDLs, HTTPS, and even EDI ... but at the end of the day, it all comes down to legacies, security, and performance? So while big companies might have billions of dollars to spend re-writing their back end web legacies, those of us who want to seamlessly automate a simple set of CRUD operations to our... -
16
libCudaOptimize
A Parallel Optimization library with CUDA
LibCudaOptimize is a GPU-based open source library that allows you to run state-of-the-art bio-inspired optimization heuristics in parallel to optimize a fitness function, introduce a new optimization algorithm, or easily modify/extend existing ones. -
17
The Great Reading Adventure
Reimagining Summer Reading
The Great Reading Adventure is a web-based, open source software program designed to manage summer reading programs. It is completely free to use. It was developed (and piloted in summer 2014) by the Maricopa County Library District (www.mcldaz.org) with support by the Arizona State Library, Archives and Public Records (www.azlibrary.gov). ********** NOTE ********** Development of The Great Reading Adventure has moved to GitHub (https://github.com/MCLD/greatreadingadventure) where you can find source as well as the latest release: https://github.com/MCLD/greatreadingadventure/releases/latest If you need support please visit the Great Reading Adventure Forum: http://forum.greatreadingadventure.com/ -
18
FSMDesigner is a C++ based implementation for a Finite State Machine (FSM) design tool with integrated Hardware Description Language (HDL) generation. FSMDesigner4 uses the Simple-Moore FSM model guaranteeing efficient fast complex control circuits.
-
19
UVC is a BSD socket 1.1 compatible component for Delphi6+/BCB6+ and RAD Studio. Usage based on Delphi6 SocketServer But Improved and Added many Features: multiple ThreadingModel, SOCKS, state Context, Use tmRequestPerThread for 2k+ TCP Connections
-
20
Automalator
State Dependency deconstructor and mapper for C source code.
Flowcharts not telling you what you want to know about some C source code? Try a State Dependency map! Every C source file is an implemention of a state machine. Implicit in the definition of a state machine is a network of dependencies between the states. The Automalator * deconstructs the C code into the core state machine * collates the transactions into the dependency net * generates a diagram-format file with the states and dependencies as the nodes and edges. ... -
21
Lava is an experimental, innovative, object-oriented, interpretive programming language and an associated programming environment LavaPE which provides syntax-sensitive point-and-click style structure editors instead of text editors for program editing.
-
22
4chan Image Downloader
Download all images from a thread
Download all 4chan images from a thread with one click. -
23
Concurrent Object-Oriented Language
An object oriented language for concurrent software development
...For proper documentation please read the diploma thesis (Only available in german yet). Some of the goals to achieve: - Embedding some design-patterns on language level (singleton, state-pattern) - Implementation of a back-end for byte-code generation - Extending the compiler with an optimization phase for optimizing byte-code - Optimizing the interpreter to improve runtime performace. - Implementation of a Hotspot-Compiler for translating byte-code to x86 machine-code for native execution. - Overall optimizations of the runtime library. ... -
24
ResTool
Display Resolution Scaling Calculator
This tool helps to choose a proper display resolution when upscaling video output for games or other uses. This can be helpful when used with the "Custom Resolution Utility" available here: http://www.monitortests.com/forum/Thread-Custom-Resolution-Utility-CRU ResTool takes a display's native resolution and a target upscale percent to find an integer-resolution near the upscale target and locked to the native aspect ratio. This is useful because a simple increase at a given percentage typically yields a non-integer resolution at the indicated aspect ratio. ... -
25
quban
Quban is a usenet binary newsgrabber for Linux
News August 2nd 2015 Quban version 0.7.5 now available from the website: http://quban.sourceforge.net/ . Please read the release notes at http://quban.sourceforge.net/releases.php#0.7.5 Quban is a Qt4 program to download encoded articles from Usenet, originally forked from Klibido 0.2.5. It supports multiple servers, multiple download threads per server plus automatic joining, decoding, repair and unpacking of articles.
