Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Symbolic_simulation> ?p ?o }
Showing triples 1 to 31 of
31
with 100 triples per page.
- Symbolic_simulation abstract "In computer science, a simulation is a computation of the execution of some appropriately modelled state-transition system. Typically this process models the complete state of the system at individual points in a discrete linear time frame, computing each state sequentially from its predecessor. Models for computer programs or VLSI logic designs can be very easily simulated, as they often have an operational semantics which can be used directly for simulation.Symbolic simulation is a form of simulation where many possible executions of a system are considered simultaneously. This is typically achieved by augmenting the domain over which the simulation takes place. A symbolic variable can be used in the simulation state representation in order to index multiple executions of the system. For each possible valuation of these variables, there is a concrete system state that is being indirectly simulated.Because symbolic simulation can cover many system executions in a single simulation, it can greatly reduce the size of verification problems. Techniques such as symbolic trajectory evaluation (STE) and generalized symbolic trajectory evaluation (GSTE) are based on this idea of symbolic simulation.".
- Symbolic_simulation wikiPageID "5575498".
- Symbolic_simulation wikiPageLength "1472".
- Symbolic_simulation wikiPageOutDegree "9".
- Symbolic_simulation wikiPageRevisionID "383882013".
- Symbolic_simulation wikiPageWikiLink Category:Electronic_design_automation.
- Symbolic_simulation wikiPageWikiLink Category:Formal_methods.
- Symbolic_simulation wikiPageWikiLink Generalized_symbolic_trajectory_evaluation.
- Symbolic_simulation wikiPageWikiLink Operational_semantics.
- Symbolic_simulation wikiPageWikiLink Simulation.
- Symbolic_simulation wikiPageWikiLink Symbolic_computation.
- Symbolic_simulation wikiPageWikiLink Symbolic_execution.
- Symbolic_simulation wikiPageWikiLink Symbolic_trajectory_evaluation.
- Symbolic_simulation wikiPageWikiLink Variable_(computer_science).
- Symbolic_simulation wikiPageWikiLinkText "Symbolic simulation".
- Symbolic_simulation wikiPageWikiLinkText "symbolic simulation".
- Symbolic_simulation wikiPageUsesTemplate Template:Unreferenced.
- Symbolic_simulation subject Category:Electronic_design_automation.
- Symbolic_simulation subject Category:Formal_methods.
- Symbolic_simulation hypernym Computation.
- Symbolic_simulation type Area.
- Symbolic_simulation type ProgrammingLanguage.
- Symbolic_simulation type Area.
- Symbolic_simulation type Method.
- Symbolic_simulation comment "In computer science, a simulation is a computation of the execution of some appropriately modelled state-transition system. Typically this process models the complete state of the system at individual points in a discrete linear time frame, computing each state sequentially from its predecessor.".
- Symbolic_simulation label "Symbolic simulation".
- Symbolic_simulation sameAs Q7661189.
- Symbolic_simulation sameAs m.0dtbnk.
- Symbolic_simulation sameAs Q7661189.
- Symbolic_simulation wasDerivedFrom Symbolic_simulation?oldid=383882013.
- Symbolic_simulation isPrimaryTopicOf Symbolic_simulation.