Search Sciweavers | Sciweavers

942 search results - page 67 / 189

» Interrupt Timed Automata

click to vote

GEOINFORMATICA
2006

86views more GEOINFORMATICA 2006»

Decreasing Computational Time of Urban Cellular Automata Through Model Portability

15 years 1 months ago

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 »

click to vote

TOCL
2008

52views more TOCL 2008»

Durations and parametric model-checking in timed automata

15 years 1 months ago

Download tocl.acm.org

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

claim paper

Read More »

click to vote

ACTA
2002

82views more ACTA 2002»

Axiomatising timed automata

15 years 1 months ago

Download www.it.uu.se

Huimin Lin, Wang Yi

claim paper

Read More »

click to vote

ENTCS
2002

89views more ENTCS 2002»

Bounded Model Checking for Timed Automata

15 years 1 months ago

Download www.csl.sri.com

Maria Sorea

claim paper

Read More »

click to vote

NJC
2002

54views more NJC 2002»

Code Synthesis for Timed Automata

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers