Search Sciweavers | Sciweavers

426 search results - page 18 / 86

» Synchronization of Regular Automata

150

Voted

DBPL
2009
Springer

152views Database» more DBPL 2009»

An Automata-Theoretic Approach to Regular XPath

15 years 9 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

15 years 6 months ago

Download www.ma.hw.ac.uk

Anne Brüggemann-Klein

claim paper

Read More »

101

Voted

DLT
2008

96views Theoretical Computer Science» more DLT 2008»

Provably Shorter Regular Expressions from Deterministic Finite Automata

15 years 4 months ago

Download www.informatik.uni-giessen.de

Hermann Gruber, Markus Holzer

claim paper

Read More »

128

Voted

EMSOFT
2006
Springer

102views Software Engineering» more EMSOFT 2006»

A timing model for synchronous language implementations in simulink

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

Voted

WIA
2007
Springer

81views Artificial Intelligence» more WIA 2007»

Synchronizing Automata Preserving a Chain of Partial Orders

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers