1052 search results - page 128 / 211 » The Regular Real-Time Languages |
107
Voted
MFCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We define the notion of height-deterministic pushdown automata, a model where for any given input string the stack heights during any (nondeterministic) computation on t...
132
Voted
ECBS
2004
IEEE
15 years 7 months ago
2004
IEEE
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...
107
click to vote
FPCA
1991
15 years 7 months ago
1991
We tackle the problem of detecting global variables in functional programs. We present syntactic criteria for single-threading which improves upon previous solutions (both syntact...
70
Voted
JUCS
2006
15 years 3 months ago
2006
: We cast a new look on time-varying distributed H systems. In their original definition, where only new strings are passed to the next component, this language definition in itsel...
138
click to vote
IANDC
2010
15 years 1 months ago
2010
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...