5981 search results - page 171 / 1197 » time 2006 |
131
click to vote
ENTCS
2006
15 years 4 months ago
2006
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution
143
click to vote
ENTCS
2006
15 years 4 months ago
2006
In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial studnformation ...
104
click to vote
IPL
1998
15 years 3 months ago
1998
We show how to accept a context-free language nondeterministically in O( n log n) time on a two-queue machine.
132
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...