100 search results - page 1 / 20 » Abstract State Machines: a unifying view of models of comput... |
APAL
2005
13 years 4 months ago
2005
FMCAD
2007
Springer
13 years 8 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
Quantum error-correction codes (QECCs) are a vital ingredient of quantum computation and communication systems. In that context it is highly desirable to design QECCs that can be r...
ICWE
2011
Springer
12 years 8 months ago
2011
Springer
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation f...
CAV
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...