4666 search results - page 305 / 934 » Equations on Timed Languages |
180
Voted
MODELS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
154
click to vote
FATES
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
152
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
—We present a new language called Precision Timed C, for predictable and lightweight multithreading in C. PRET-C supports synchronous concurrency, preemption, and a high-level co...
188
click to vote
LREC
2010
15 years 8 months ago
2010
We present CAVaT, a tool that performs Corpus Analysis and Validation for TimeML. CAVaT is an open source, modular checking utility for statistical analysis of features specific t...
163
click to vote
FORMATS
2005
Springer
16 years 8 days ago
2005
Springer
We define quantitative similarity functions between timed transition systems that measure the degree of closeness of two systems as a real, in contrast to the traditional boolean ...