Searching for "On-the-Fly Construction" – sorted by Relevance.
-
On-the-Fly Topological Sort - A Basis for Interactive Debugging and Live Visualization of Parallel
- involves on-the-fly construction of the causality graph of the execution of the program. A sliding window
- Cited by 4 (0 self) – Add To MetaCart
-
General Purpose Discrete Event Simulation using Spades
- with respect to existing simulation techniques. The compositional nature of allows an on-the-fly construction
- Cited by 4 (0 self) – Add To MetaCart
-
Dealing with practical limitations of distributed timed model checking
- structure called Difference Bound Matrices (DBMs). Although forward is better suited for on-the-fly
- Cited by 2 (0 self) – Add To MetaCart
-
Blocking Automata for PSpace DLs
- which an on-the-fly construction of such an exponentially large automaton can be used to obtain a PSpace
- Add To MetaCart
-
K.: Intractive transfer function modification for volume rendering using compressed sample runs
- overhead. Decompression cost is reduced by storing decompression results in an on-the-fly constructed 2D
- Cited by 2 (0 self) – Add To MetaCart
-
SMC: A Symmetry Based Model Checker for Verification of Safety and Liveness Properties
- the symmetry of a single state, called state symmetry. SMC works in an on-the-fly manner, it constructs
- Cited by 8 (1 self) – Add To MetaCart
-
SMC: a symmetry-based model checker for verification of safety and liveness properties
- works in an on-the-fly manner; it constructs the reduced state graph as and when it is needed
- Cited by 15 (3 self) – Add To MetaCart
-
A Unified Approach For Indexed and Non-Indexed Spatial Joins
- , partitioning, or on-the-fly index construction. In this paper, we develop a simple plane-sweeping algorithm
- Cited by 19 (5 self) – Add To MetaCart
-
Simple On-the-fly Automatic Verification of Linear Temporal Logic
- is currently exploring. It implies that the protocol automaton may be constructed on-the-fly, i.e. as is needed
- Cited by 210 (19 self) – Add To MetaCart
-
Distributed on-the-fly model checking and test case generation
- , we combine the on-the-fly approach (incremental construction of the state space) and the distributed
- Cited by 5 (4 self) – Add To MetaCart

