Sciweavers

27119 search results - page 279 / 5424
» Languages
Sort
View
ENTCS
2008
125views more  ENTCS 2008»
15 years 6 months ago
Extending Lustre with Timeout Automata
This paper describes an extension to Lustre to support the analysis of globally asynchronous, locally synchronous (GALS) architectures. This extension consists of constructs for d...
Jimin Gao, Mike Whalen, Eric Van Wyk
INFORMATICALT
2000
126views more  INFORMATICALT 2000»
15 years 6 months ago
Commutation in Global Supermonoid of Free Monoids
This work is an attempt of generalization of the simple statement about the requirements of commutation of words for the case of languages. In the paper, the necessary condition fo...
Anna Brosalina, Boris Melnikov