MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On-the-Fly Construction" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

75 documents found, showing 1 through 10. Next 10 →

ATOM

On-the-Fly Topological Sort - A Basis for Interactive Debugging and Live Visualization of Parallel
by Doug Kimelman, Dror Zernik — 1993 — In PADD ’93: Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
… 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
by Pedro D'Argenio, Joost-pieter Katoen — 1998 — Proc. of 6th Process Algebra and Performance Modelling Workshop
… 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
by V. Braberman, A. Olivero, F. Schapachnik — 2006 — Formal Methods in System Design
… 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
by Franz Baader, Jan Hladik, Rafael Peñaloza
… 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
by Vivek Srivastava, Uday Chebrolu, Klaus Mueller — 2003 — In Computer Graphics International 2003 (2003
… 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
by A. P. Sistla, V. Gyuris, E. A. Emerson — 1999 — ACM Transactions on Software Engineering Methodologies, Vol 9, No
… 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
by A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson — 2000 — ACM Transactions on Software Engineering and Methodology
… 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
by Lars Arge, Octavian Procopiuc, Sridhar Ramaswamy, Torsten Suel, Jan Vahrenhold, Jeffrey Scott Vitter — 2000
…, 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
by Rob Gerth, Doron Peled, Moshe Y. Vardi, R. Gerth, Den Dolech Eindhoven, D. Peled, M. Y. Vardi, Pierre Wolper — 1995 — In Protocol Specification Testing and Verification
… 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
by Christophe Joubert, Radu Mateescu — 2006 — In Proc. of SPIN’06, LNCS
…, we combine the on-the-fly approach (incremental construction of the state space) and the distributed…
Cited by 5 (4 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB