3909 search results - page 243 / 782 » Extreme Model Checking |
114
click to vote
SIAMCO
2002
15 years 2 months ago
2002
In this paper we give sufficient conditions for a bang-bang regular extremal to be a strong local optimum for a control problem in the Mayer form; strong means that we consider the...
120
click to vote
DEXAW
1997
IEEE
15 years 7 months ago
1997
IEEE
It is important for any data language that it enables many people to derive correct information from a databases in a simple, effective way with predictable performance. In an ana...
128
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
154
click to vote
IPPS
2010
IEEE
15 years 14 days ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
155
click to vote
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...