125 search results - page 19 / 25 » The Formal Simulation Semantics of SystemVerilog |
103
click to vote
AISC
2008
Springer
15 years 1 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
134
click to vote
DILS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
97
Voted
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
CCS
2003
ACM
15 years 4 months ago
2003
ACM
Attacks against Internet routing are increasing in number and severity. Contributing greatly to these attacks is the absence of origin authentication: there is no way to validate ...
105
click to vote
ECMDAFA
2010
Springer
15 years 3 months ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...