Sciweavers

2632 search results - page 66 / 527

» Alternating Timed Automata

48

CORR
2010
Springer

60views Education» more CORR 2010»

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

15 years 3 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 »

45

Voted

CORR
2010
Springer

45views Education» more CORR 2010»

Relating timed and register automata

15 years 3 months ago

Relating timed and register automata

Download www.mimuw.edu.pl

Diego Figueira, Piotr Hofman, Slawomir Lasota

claim paper

Read More »

85

FUIN
2006

56views more FUIN 2006»

Slicing of Timed Automata with Discrete Data

15 years 3 months ago

Slicing of Timed Automata with Discrete Data

Download www.mimuw.edu.pl

Agata Janowska, Pawel Janowski

claim paper

Read More »

97

GEOINFORMATICA
2006

86views more GEOINFORMATICA 2006»

Decreasing Computational Time of Urban Cellular Automata Through Model Portability

15 years 3 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 »

92

TOCL
2008

52views more TOCL 2008»

Durations and parametric model-checking in timed automata

15 years 3 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 66 / 527 Last » Next »