690 search results - page 76 / 138 » Testing Temporal Logic Properties in Distributed Systems |
144
click to vote
FUIN
2007
15 years 15 days ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
106
click to vote
ICML
2009
IEEE
15 years 7 months ago
2009
IEEE
Virtually all methods of learning dynamic systems from data start from the same basic assumption: that the learning algorithm will be provided with a sequence, or trajectory, of d...
187
Voted
CC
2009
Springer
16 years 1 months ago
2009
Springer
Debugging distributed systems is challenging. Although incremental debugging during development finds some bugs, developers are rarely able to fully test their systems under realis...
99
Voted
CSL
2004
Springer
15 years 6 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
124
Voted
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...