Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.545.427 Times

UPPAAL DBM Library 2.0.5

  Date Added: May 04, 2010  |  Visits: 879

UPPAAL DBM Library

Report Broken Link
Printer Friendly Version


Product Homepage
Download (100 downloads)



Difference Bound Matrices (DBMs) are efficient data structures to represent clock constraints in timed automata. They are used in UPPAAL as the core data structure to represent time. This library features all the common operations such as up (delay, or future), down (past), general updates, different extrapolation functions, etc. on DBMs and federations. The library also supports subtractions and methods to merge DBMs. Whats New in This Release: - Bugs have been fixed in getValuation and mergeReduce, and doxygen comments have been corrected. - New methods have been added to the API: Hooks to mingraph_t, hasZero to test if DBMs (or federations) contain the zero point, delay for points, and toString. - The structure partition_t has been drastically improved. - The operations subtractions, intersections, and "mergeReduce" have been substantially improved. - There is a new print format of DBMs and federations to be more compatible with the Ruby binding. - index_t has been renamed to cindex_t due to a conflict on Solaris..

Requirements: No special requirements
Platforms: Linux
Keyword: Data Data Structures Dbm Dbms Difference Bound Matrices Libraries Library Matrices Programming Represent Structures Timed Uppaal
Users rating: 0/10

License: Freeware
USER REVIEWS
More Reviews or Write Review


UPPAAL DBM LIBRARY RELATED
Database Tools  -  K Database Magic 2.8.3.1
Database Desktop, SQL manager, merge data, data comparison and many more function in one software. It accomodate a simple admittance to datasets like other database handling products. Firstly it doesn't concentrate maintenance of datasets, but...
6.29 MB  
Libraries  -  Data::Serializer 0.41
Data::Serializer package contains modules that serialize data structures. SYNOPSIS use Data::Serializer; $obj = Data::Serializer->new(); $obj = Data::Serializer->new( serializer => Storable, digester => MD5, cipher => DES, secret => my...
25.6 KB  
Libraries  -  Data::Diver 1.0101
Data::Diver is a simple, ad-hoc access to elements of deeply nested structures. SUMMARY Data::Diver provides the Dive() and DiveVal() functions for ad-hoc access to elements of deeply nested data structures, and the DiveRef(), DiveError(),...
8.19 KB  
Development Tools  -  TBCI numerical library 2.5.3
This is a templated library of numerical base classes which implement basic data structures like complex numbers, dynamic vectors, static vectors, different types of matrices like full matrices, band matrices, sparse matrices, etc. and also...
 
Libraries  -  Bio::SAGE::Comparison 1.00
Bio::SAGE::Comparison module compares data from serial analysis of gene expression (SAGE) libraries. SYNOPSIS use Bio::SAGE::Comparison; $sage = Bio::SAGE::Comparison->new(); This module provides several tools for comparing data generated...
8.19 KB  
Utilities  -  Open Magic Data (OMD) 1.6
The Open Magic Data project (OMD) is an attempt to organize magic data (data used in the Magic: The Gathering (TM) game) into a format that allows for easy access by encoding it into XML. see the Home page for more details....
794.44 KB  
ActiveX Components  -  Sav Zigzag 8.2
Sav Zigzag is a mobile object-relational DBMS that represents a Java library (API interface) working on PC, PDA and mobile phones. This API interface forms new powerful Java/Zigzag language, more efficient than PL/SQL. Zigzag algebraic expressions...
475 KB  
Libraries  -  Archive::Ar 1.13b
Archive::Ar is a Perl interface for manipulating ar archives. SYNOPSIS use Archive::Ar; my $ar = new Archive::Ar("./foo.ar"); $ar->add_data("newfile.txt","Some contents", $properties); $ar->add_files("./bar.tar.gz", "bat.pl")...
6.14 KB  
Education  -  RadResponder 3.0.3
RadResponder provides free software tools for logging, transmitting, storing, analyzing, and presenting environmental radiation monitoring data. Data is stored in a secure cloud environment accessible only by the user. Data To register for an...
19.2 MB  
Libraries  -  Seldon 2005-05-15
Seldon is a C++ library for linear algebra. Seldon provides matrix and vector structures, and some methods and functions for computations (linear algebra). Seldon is designed to be efficient and convenient, which is notably achieved thanks to...
68.61 KB  
NEW DOWNLOADS IN PROGRAMMING, LIBRARIES
Programming  -  FLEX-db Digital Asset Manager 3.0.9
FLEX-db - an enterprise Digital Asset Manager (DAM). It ingests and links metadata with files, creates thumbnails, and processes files using business rules. FLEX-db has a JSP client, Java app server for file input and output and an EJB metadata...
21.57 MB  
Programming  -  Libicom 0.9.0
The libicom library is a character based dynamicly linked library for Linux. It is used to remotely control the Icom IC-R8500 wide band receiver via an RS232 link. All call and return parameters to the control functions are character string based....
20.48 KB  
Programming  -  dotdesktop 0.3
Dotdesktop library provides ability to parse desktop entry file and access the information in a convenient way. Desktop entry file format is defined by freedesktop.org, it is used to describe information about an application such as the name and...
327.68 KB  
Programming  -  Cedalion for Linux 0.2.6
Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.
471.04 KB  
Programming  -  libyasl 0.2
Libyasl is a C++ class library to easily realize TCP/UDP/Multicast clientsand servers in IPv4 and IPv6 environments under GNU/Linux systems.
143.36 KB  
Libraries  -  EuGTK 4.8.9
Makes it easy to develop good- looking, fast, cross-platform programs that run on Linux, OS X, and Windows. Euphoria is a very fast interpreted/compiled language with straight-forward syntax. EuGTK allows programming in a clean, object-oriented...
10.68 MB  
Libraries  -  Linux User Group Library Manager 1.0
The LUG Library Manager is a project to help Linux User Groups start their own library. A LUG library is helpful to the community at large because it increases access to information, and gives everyone the opportunity to become more knowledgeable.
5.35 KB  
Libraries  -  Module::MakefilePL::Parse 0.12
Module::MakefilePL::Parse is a Perl module to parse required modules from Makefile.PL. SYNOPSIS use Module::MakefilePL::Parse; open $fh, Makefile.PL; $parser = Module::MakefilePL::Parse->new( join("", ) ); $info = $parser->required;...
8.19 KB  
Libraries  -  sqlpp 0.06
sqlpp Perl package is a SQL preprocessor. sqlpp is a conventional cpp-alike preprocessor taught to understand SQL ( PgSQL, in particular) syntax specificities. In addition to the standard #define/#ifdef/#else/#endif cohort, provides also...
10.24 KB  
Libraries  -  App::SimpleScan::Substitution::Line 2.02
App::SimpleScan::Substitution::Line is a line with optional fixed variable values. SYNOPSIS my $line = App::SimpleScan::Substitution::Line->new(" this "); # Use only this value when substituting " ". $line->fix(substituite =>...
54.27 KB