Sciweavers

1917 search results - page 19 / 384
» The York Abstract Machine
Sort
View
57
Voted
PLILP
1990
Springer
15 years 6 months ago
The Vienna Abstract Machine
Andreas Krall, Ulrich Neumerkel
97
Voted
HOTOS
2009
IEEE
15 years 6 months ago
Hera-JVM: Abstracting Processor Heterogeneity Behind a Virtual Machine
Ross McIlroy, Joseph S. Sventek
93
Voted
FDL
2004
IEEE
15 years 6 months ago
Enabling SystemC Verification using Abstract State Machines
Amjad Gawanmeh, Ali Habibi, Sofiène Tahar
84
Voted
FORMATS
2006
Springer
15 years 6 months ago
Simulator for Real-Time Abstract State Machines
Pavel Vasilyev