4666 search results - page 143 / 934 » Equations on Timed Languages |
144
click to vote
DATE
2010
IEEE
15 years 10 months ago
2010
IEEE
—Safety-critical automotive systems must fulfill hard real-time constraints for reliability and safety. This paper presents a case study for the application of an AUTOSARbased l...
142
click to vote
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
186
click to vote
NAACL
2010
15 years 3 months ago
2010
We address the problem of formatting the output of an automatic speech recognition (ASR) system for readability, while preserving wordlevel timing information of the transcript. O...
164
click to vote
FUIN
2007
15 years 5 months ago
2007
Devices of interconnected parallel acting sequential automata are investigated from a language theoretic point of view. Starting with the well-known result that each unary language...
140
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdefined types. They also come with a notion of constant expre...