2583 search results - page 186 / 517 » On the Representation of Timed Polyhedra |
241
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. We address the problem of detecting race conditions in programs that use semaphores for synchronization. Netzer and Miller showed that it is NP-complete to detect race co...
255
click to vote
ICDE
2003
IEEE
16 years 7 months ago
2003
IEEE
We present a valid-time extension of SQL and investigate its efficient implementation on an Object-Relational database system. We propose an approach where temporal queries are ex...
180
click to vote
GLOBECOM
2007
IEEE
16 years 24 days ago
2007
IEEE
— Adaptive transceivers play an important role in wireless communications and the design of MIMO systems. Therefore models that enable simulation of dynamic and time varying chan...
152
click to vote
FATES
2004
Springer
15 years 12 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
159
click to vote
FORMATS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...