Sciweavers

732 search results - page 56 / 147

» Axiomatising timed automata

10

CORR
2010
Springer

60views Education» more CORR 2010»

IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata

13 years 9 months ago

IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata

Download www.lsv.ens-cachan.fr

Étienne André

claim paper

Read More »

10

CORR
2010
Springer

45views Education» more CORR 2010»

Relating timed and register automata

13 years 9 months ago

Relating timed and register automata

Download www.mimuw.edu.pl

Diego Figueira, Piotr Hofman, Slawomir Lasota

claim paper

Read More »

20

FUIN
2006

56views more FUIN 2006»

Slicing of Timed Automata with Discrete Data

13 years 8 months ago

Slicing of Timed Automata with Discrete Data

Download www.mimuw.edu.pl

Agata Janowska, Pawel Janowski

claim paper

Read More »

23

GEOINFORMATICA
2006

86views more GEOINFORMATICA 2006»

Decreasing Computational Time of Urban Cellular Automata Through Model Portability

13 years 8 months ago

Decreasing Computational Time of Urban Cellular Automata Through Model Portability

Download www.geog.ucsb.edu

This paper investigates how portability of a model between different computer operating systems can lead to increased efficiency in code execution. The portability problem is not a...

Charles Dietzel, Keith C. Clarke

claim paper

Read More »

18

TOCL
2008

52views more TOCL 2008»

Durations and parametric model-checking in timed automata

13 years 8 months ago

Durations and parametric model-checking in timed automata

Download tocl.acm.org

Véronique Bruyère, Emmanuel Dall'Oli...

claim paper

Read More »

« Prev « First page 56 / 147 Last » Next »