3653 search results - page 210 / 731 » On Recognizable Timed Languages |
152
click to vote
IPSN
2009
Springer
16 years 7 days ago
2009
Springer
Sensor network application experts such as biologists, geologists, and environmental engineers generally have little experience with, and little patience for, general-purpose and ...
119
click to vote
CC
2007
Springer
15 years 11 months ago
2007
Springer
Implementing a new programming language by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host langu...
151
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
142
click to vote
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Quantitative languages are an extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on tr...
247
click to vote
PODS
2009
ACM
16 years 6 months ago
2009
ACM
In this work we investigate the satisfiability problem for the logic XPath( , , =), that includes all downward axes as well as equality and inequality tests. We address this probl...