Search Results for "pvs"
Sort By:
Showing 17 open source projects for "pvs"
View related business solutions-
Using just a single server or virtual machine, Statseeker can be up and running within minutes, and discovering your entire network in less than an hour, without any significant effect on your bandwidth availability.
-
PRTG Network Monitor is an all-inclusive monitoring software solution developed by Paessler. Equipped with an easy-to-use, intuitive interface with a cutting-edge monitoring engine, PRTG Network Monitor optimizes connections and workloads as well as reduces operational costs by avoiding outages while saving time and controlling service level agreements (SLAs). The solution is packed with specialized monitoring features that include flexible alerting, cluster failover solution, distributed monitoring, in-depth reporting, maps and dashboards, and more.
-
1
Simple Cylindrical Pressure Vessels
Excel workbooks suitable for preliminary design and analysis
SCPV is a family of three macro enabled Excel workbooks for analysis of long cylindrical pressure vessels with flat endcaps subjected to external hydrostatic pressure. CPVanalysis.xlsm does stress and stability analyses. It plots stresses, deflections and the equilibrium path for imperfect circular cylinders showing the onset of yielding and limit points in relation to elastic and inelastic bifurcation buckling pressures. Two types of initial geometric imperfections, outer diameter... -
2
OpenEBS
Leading Open Source Container Attached Storage
OpenEBS helps Developers and Platform SREs easily deploy Kubernetes Stateful Workloads that require fast and highly reliable container-attached storage. OpenEBS turns any storage available on the Kubernetes worker nodes into local or distributed Kubernetes Persistent Volumes. OpenEBS is Kubernetes native Container Attached Storage solution that makes it possible for Stateful applications to easily access Dynamic Local PVs or Replicated PVs. By using the Container Attached Storage pattern users... -
3
PublicCMS
PublicCMS is an open source JAVACMS system
PublicCMS is an open source JAVACMS system developed with mainstream technology in 2022. Developed by Tianjin Heihe Technology Co., Ltd., it has a scientific structure and easily supports tens of millions of data and tens of millions of PVs; it supports full site static, SSI, partial static dynamic pages, etc. It provides a powerful driver for you to quickly build a site and build a large-scale site. It is also a good choice for product prototypes of enterprise-level projects. Provides a multi... -
4
Layered-Wall Cylindrical Pressure Vessel
An Excel workbook suitable for preliminary design and analysis
LWCPV.3.zip includes: 1. A macro enabled Excel workbook (LWCPV.xlsm) for preliminary design and analysis of long cylindrical, layered-wall pressure vessels (PVs) subjected to external hydrostatic pressure. The following four types of layered-wall construction are addressed: a. Two-layer isotropic. b. Three-layer isotropic sandwich-wall; and c. Three-layer sandwich-wall with orthotropic outer layers and isotropic... -
With AccountEdge, business owners can organize, process, and report on their financial information so they can focus on their business. Features include: accounting, integrated payroll, sales and purchases, contact management, inventory tracking, time billing, and more.
-
5
UBA-PVS
UBA Probenverwaltungssystem (Specimen Management System)
This software was implemented by the Laboratory & Information Technology Department at the Fraunhofer Institute for Biomedical Engineering IBMT (St. Ingbert, Germany) as a contract work for the German Federal Environmental Agency. Initially, the application manages specimens with their data in a repository that are collected in the German Environmental Survey (GerES) carried out by the German Federal Environment Agency (Umweltbundesamt – UBA). Version 1.0 of the application was released in... -
6
-
7
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
..., 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. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large) -
8
This project include libraries to compile pvs servers for mini2440. Pvbrowser binary is also included. You can compile all source from pvbrowser and QT webpage.
-
9
Mediocre is a Java-based chess engine, implementing features like LMR, SEE, history and killer moves heuristics, transposition tables, internal iterative deepening, PVS search etc.
-
Engage is a pre-built, intelligent contact center platform that transforms customer service.
-
10
Anni#
Anni is on free open-source C# UCI bitboard chess engine
Anni is on free open-source C# UCI bitboard chess engine. Now it is half-blank, but it definetely will implement: Alpha-beta PVS search, Bitboard chess representation, Null move -
11
This page contains tools for applying automated reasoning to Bluespec SystemVerilog (BSV) hardware designs. We provide code for importing BSV designs into the PVS theorem prover and the SAL model checker.
-
12
Entities and relationships are specified as user defined types. We'll be using PVS proving tool. The verification involves proving the type correctness conditions that is generated automatically by the type checker.
-
13
PixelX is an open source game engine written in C++ and OpenGL. Its features are: Quake 3 BSP File rendering, lightmaps, pvs culling, collision detection, simple particle systems, MD2 and MD3 model loading, Audio support.
-
14
pvs checks for updates to programs via ftp or http and downloads them. pvs is smart enough to only download the patches to the programs if they are availible.
-
15
-
16
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...
-
17
Maze Race is an OpenGL application for generating and rendering a random maze using a visibility determination algorithm to create a potently visible sets or PVS for the maze.
- Previous
- You're on page 1
- Next