Search Sciweavers | Sciweavers

426 search results - page 18 / 86

» Synchronization of Regular Automata

click to vote

DBPL
2009
Springer

152views Database» more DBPL 2009»

An Automata-Theoretic Approach to Regular XPath

14 years 2 months ago

Download www.cs.rice.edu

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

click to vote

LATIN
1992
Springer

71views Information Technology» more LATIN 1992»

Regular Expressions into Finite Automata

13 years 11 months ago

Download www.ma.hw.ac.uk

Anne Brüggemann-Klein

claim paper

Read More »

click to vote

DLT
2008

96views Theoretical Computer Science» more DLT 2008»

Provably Shorter Regular Expressions from Deterministic Finite Automata

13 years 9 months ago

Download www.informatik.uni-giessen.de

Hermann Gruber, Markus Holzer

claim paper

Read More »

click to vote

EMSOFT
2006
Springer

102views Software Engineering» more EMSOFT 2006»

A timing model for synchronous language implementations in simulink

13 years 11 months ago

Download www.cecs.uci.edu

We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...

Timothy Bourke, Arcot Sowmya

claim paper

Read More »

click to vote

WIA
2007
Springer

81views Artificial Intelligence» more WIA 2007»

Synchronizing Automata Preserving a Chain of Partial Orders

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers