XML :: FLUJO
XML :: Flow permite almacenar (restaurar) las estructuras de datos PERL en la corriente XML. ...
 | Biblioteca Uppaal DBM |
| Descargar ahora | |
Biblioteca Uppaal DBM Clasificación y resumen
Anuncio publicitario
- Licencia:
- GPL
- Precio:
- FREE
- Nombre del editor:
- Alexandre David
- Sitio web del editor:
- http://www.cs.aau.dk/~adavid/tiga/
Biblioteca Uppaal DBM Etiquetas
Biblioteca Uppaal DBM Descripción
Las matrices unidas de diferencia (DBMS) son estructuras de datos eficientes para representar restricciones de reloj en autómatas cronometradas. Las matrices unidas de diferencia (DBMS) son estructuras de datos eficientes para representar restricciones de reloj en autómatas cronometradas. Se utilizan en Uppaal como la estructura de datos básicos para representar el tiempo. Esta biblioteca presenta todas las operaciones comunes, como ARRIBA (retraso, o futuro), abajo (pasadas), actualizaciones generales, diferentes funciones de extrapolación, etc. en DBMS y Federaciones. La biblioteca también es compatible con las sustracciones y los métodos para combinar DBMS. Lo que es nuevo en Esta versión: · Se hicieron actualizaciones menores de API. · Se solucionó una pérdida de memoria en la función de cambio de tamaño.
Biblioteca Uppaal DBM Software relacionado
Fuente :: Glyphnames
Fuente :: Glyphnames es un módulo PERL que puede convertir entre los nombres y los caracteres del glifo. ...
IPC :: RUN3 :: ProfarrayBuffer
IPC :: RUN3 :: ProfarrayBuffer Módulo puede almacenar eventos de perfil en RAM en una matriz. ...
NET :: ITMS :: BÚSQUEDA
NET :: ITMS :: Search es un módulo Perl que representa una búsqueda simple de la tienda de música de iTunes. ...
Periodo de tiempo
Tiempo :: Módulo de marco contiene objetos para almacenar un período de tiempo. ...