25 search results - page 2 / 5 » Jtlv: A Framework for Developing Verification Algorithms |
GECCO
2006
Springer
13 years 8 months ago
2006
Springer
In this paper, an object-oriented unified optimization framework (UOF) for general problem optimization is proposed. Based on evolutionary algorithms, numerical deterministic meth...
PVLDB
2008
13 years 4 months ago
2008
Graphs are widely used to model complicated data semantics in many applications. In this paper, we aim to develop efficient techniques to retrieve graphs, containing a given query...
CHARME
2003
Springer
13 years 8 months ago
2003
Springer
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
ATVA
2004
Springer
13 years 8 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
SIGMOD
2010
ACM
13 years 8 months ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...