1755 search results - page 273 / 351 » An efficient simulation algorithm based on abstract interpre... |
140
Voted
ENTCS
2002
15 years 3 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
153
Voted
TEC
2002
15 years 3 months ago
2002
Abstract--In this paper, we present an efficient graph-based evolutionary optimization technique called evolutionary graph generation (EGG) and the proposed approach is applied to ...
140
Voted
ICGI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present an exact algorithm for identification of deterministic finite automata (DFA) which is based on satisfiability (SAT) solvers. Despite the size of the low level ...
143
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
136
Voted
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract- OFDMA subchannel allocation has been wellstudied. However, most of the available literature considers a single cell system without cochannel interference. We present a no...