921 search results - page 72 / 185 » On Interleaving in Timed Automata |
252
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bu...
198
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
We investigate how people adapt their strategy for interleaving multiple concurrent tasks to varying objectives. A study was conducted in which participants drove a simulated vehi...
231
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Today's query processing engines do not take advantage of the multiple occurrences of a relation in a query to improve performance. Instead, each instance is treated as a dis...
139
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract-- In this paper we extend the work on dynamic observers for fault diagnosis [1], [2], [3] to timed automata. We study sensor minimization problems with static observers an...
186
click to vote
DATESO
2010
15 years 4 months ago
2010
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...