4155 search results - page 607 / 831 » External Memory Algorithms |
130
Voted
ENTCS
2006
15 years 25 days ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
123
Voted
ENTCS
2006
15 years 25 days ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
101
Voted
EOR
2006
15 years 25 days ago
2006
We propose a fully sequential indifference-zone selection procedure that is specifically for use within an optimization-via-simulation algorithm when simulation is costly, and par...
98
Voted
IJDE
2006
15 years 25 days ago
2006
Nowadays there are many tools for the extraction of data objects [SWGDE] from SIM cards; unfortunately, most of them are proprietary, or their use is restricted to law enforcement...
106
Voted
JUCS
2008
15 years 24 days ago
2008
: Despite all the advance brought by LALR parsing method by DeRemer in the late 60's, conflicts continue to be removed in a non-productive way, by means of analysis of a huge ...