Search Sciweavers | Sciweavers

2303 search results - page 27 / 461

» The Cryptographic Abstract Machine

131

click to vote

HOTOS
2009
IEEE

111views Operating System» more HOTOS 2009»

Hera-JVM: Abstracting Processor Heterogeneity Behind a Virtual Machine

15 years 10 months ago

Download www.usenix.org

Ross McIlroy, Joseph S. Sventek

claim paper

Read More »

134

click to vote

FDL
2004
IEEE

144views Natural Language Processing» more FDL 2004»

Enabling SystemC Verification using Abstract State Machines

15 years 10 months ago

Download hvg.ece.concordia.ca

Amjad Gawanmeh, Ali Habibi, Sofiène Tahar

claim paper

Read More »

117

click to vote

FORMATS
2006
Springer

98views Formal Methods» more FORMATS 2006»

Simulator for Real-Time Abstract State Machines

15 years 10 months ago

Download www.math.spbu.ru

Pavel Vasilyev

claim paper

Read More »

167

click to vote

APAQS
2001
IEEE

255views Software Engineering» more APAQS 2001»

Testable Use Cases in the Abstract State Machine Language

15 years 10 months ago

Download research.microsoft.com

Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte...

claim paper

Read More »

135

click to vote

CSL
1995
Springer

105views Automated Reasoning» more CSL 1995»

An Evolving Algebra Abstract Machine

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers