4666 search results - page 126 / 934 » Equations on Timed Languages |
138
Voted
COCO
2010
Springer
15 years 5 months ago
2010
Springer
—We show that every language accepted by a nondeterministic auxiliary pushdown automaton in polynomial time (that is, every language in SAC1 = Log(CFL)) can be accepted by a symm...
93
Voted
IFIP
1997
Springer
15 years 4 months ago
1997
Springer
We deal with a two-queue model with mixed exhaustive and gated-type K-limited services. This model can achieve various degrees of priority in each queue by varying the value of K....
107
Voted
IFIPTCS
2000
15 years 4 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
106
Voted
ASPLOS
1994
ACM
15 years 5 months ago
1994
ACM
Despite improvements in network interfaces and software messaging layers, software communication overhead still dominates the hardware routing cost in most systems. In this study,...
106
click to vote
MKM
2009
Springer
15 years 7 months ago
2009
Springer
Graphical languages provide a powerful tool for describing the behaviour of quantum systems. While the use of graphs vastly reduces the complexity of many calculations [4,10], manu...