 | Biblioteca do DBM do Uppaal.Matrizes vinculadas (DBMS) são estruturas de dados eficientes para representar restrições de relógio em autômatos cronometrados. |
| Baixe Agora | |
Biblioteca do DBM do Uppaal. Classificação e resumo
Propaganda
- Licença:
- GPL
- Preço:
- FREE
- Nome do editor:
- Alexandre David
- Site do editor:
- http://www.cs.aau.dk/~adavid/tiga/
Biblioteca do DBM do Uppaal. Tag
Biblioteca do DBM do Uppaal. Descrição
Matrizes de diferença ligadas (DBMS) são estruturas de dados eficientes para representar restrições de relógio em autômatos cronometrados. Matrizes limitadas (DBMS) são estruturas de dados eficientes para representar restrições de relógio em autômatos cronometrados. Eles são usados no uppaal como a estrutura de dados principais para representar o tempo. Esta biblioteca apresenta todas as operações comuns, como as atualizações (atrasos ou futuros), para baixo (passado), atualizações gerais, diferentes funções de extrapolação, etc. em DBMS e Federações. A biblioteca também suporta subtrações e métodos para mesclar o DBMS. Esta versão: · Atualizações menores de API foram feitas. · Um vazamento de memória na função de redimensionamento foi corrigido.
Biblioteca do DBM do Uppaal. Software Relacionado
Fonte :: Glyphnames.
Font :: glyphnames é um módulo Perl que pode converter entre nomes e caracteres de glifo. ...
IPC :: Run3 :: ProfarrayBuffer
IPC :: Run3 :: ProfarrayBuffer Module pode armazenar eventos de perfil na RAM em uma matriz. ...
Net :: its :: busca
Net :: ITSMS :: Pesquisa é um módulo Perl que representa uma pesquisa simples da iTunes Music Store. ...
