Sciweavers

732 search results - page 56 / 147

» Axiomatising timed automata

35

CORR
2010
Springer

60views Education» more CORR 2010»

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

14 years 12 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 »

32

CORR
2010
Springer

45views Education» more CORR 2010»

Relating timed and register automata

14 years 12 months ago

Relating timed and register automata

Download www.mimuw.edu.pl

Diego Figueira, Piotr Hofman, Slawomir Lasota

claim paper

Read More »

60

FUIN
2006

56views more FUIN 2006»

Slicing of Timed Automata with Discrete Data

14 years 12 months ago

Slicing of Timed Automata with Discrete Data

Download www.mimuw.edu.pl

Agata Janowska, Pawel Janowski

claim paper

Read More »

74

GEOINFORMATICA
2006

86views more GEOINFORMATICA 2006»

Decreasing Computational Time of Urban Cellular Automata Through Model Portability

14 years 12 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 »

72

TOCL
2008

52views more TOCL 2008»

Durations and parametric model-checking in timed automata

14 years 11 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 »