Searching for "Simulation Based Minimization." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Simulation Based Minimization
- … Simulation Based Minimization Doron Bustan and Orna Grumberg Computer Science Dept. Technion…
- Cited by 12 (2 self) – Add To MetaCart
-
A Computational Method For Simulation Of Trunk Motion: Towards A Theoretical Based Quantitative
- …A COMPUTATIONAL METHOD FOR SIMULATION OF TRUNK MOTION: TOWARDS A THEORETICAL BASED QUANTITATIVE…
- Add To MetaCart
-
Equivalence-Based Reductions and checking for preorders
- … verification . . . . . . . . . . . . 13 2 Preliminaries 15 3 Simulation based minimization 20 3.1 The reduced…
- Add To MetaCart
-
Grid-Based Simulation And The Method Of Conditional Least Squares
- … that the simulation based minimization gives roughly the same solution quality as that associated with the case…
- Cited by 1 (1 self) – Add To MetaCart
-
Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating
- …TMP produces automata that are less suited for simulation-based minimizations than the automata we compute via…
- Cited by 18 (1 self) – Add To MetaCart
-
Physica A 287 (2000) 289--301
- … simulation based on the minimal mechanism of the Ethernet algorithm, especially focusing on the two e ects…
- Add To MetaCart
Showing 1 through 6.
