640 search results - page 50 / 128 » Discovering State Invariants |
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
EMSOFT
2011
Springer
12 years 10 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
WWW
2009
ACM
14 years 11 months ago
2009
ACM
Over the last few years, blogs (web logs) have gained massive popularity and have become one of the most influential web social media in our times. Every blog post in the Blogosph...
PERCOM
2008
ACM
14 years 10 months ago
2008
ACM
One of the most evident characteristics of an ad hoc ubiquitous computing environment is the dynamism of connections. Due to the mobility of nodes, paths between communicating pee...
IWANN
1999
Springer
14 years 3 months ago
1999
Springer
To avoid the curse of dimensionality, function approximators are used in reinforcement learning to learn value functions for individual states. In order to make better use of comp...