Sciweavers

17298 search results - page 27 / 3460
» Abstract computing machines
Sort
View
88
Voted
EDBT
1990
ACM
79views Database» more  EDBT 1990»
15 years 6 months ago
Abstract Machine for LDL
Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy
53
Voted
PLILP
1990
Springer
15 years 6 months ago
The Vienna Abstract Machine
Andreas Krall, Ulrich Neumerkel
90
Voted
FDL
2004
IEEE
15 years 6 months ago
Enabling SystemC Verification using Abstract State Machines
Amjad Gawanmeh, Ali Habibi, Sofiène Tahar