1837 search results - page 5 / 368 » Abstraction and the C Machine Model |
SPIN
2005
Springer
15 years 3 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
69
Voted
DAC
1999
ACM
15 years 10 months ago
1999
ACM
Abstract { This paper presents the machine description language LISA for the generation of bitand cycle accurate models of DSP processors. Based on a behavioral operation descripti...
POS
1989
Springer
15 years 1 months ago
1989
Springer
ro, D.S. “The Persistent Abstract Machine Version 10 / Napier88 (Release 2.0)”. Universities of St Andrews and Adelaide (1994).
75
Voted
ASM
2005
ASM
15 years 3 months ago
2005
ASM
lation of BGS model of Abstract State Machines Comandur Seshadhri1 , Anil Seth2 , and Somenath Biswas2 1 Department of Computer Science Princeton University, Princeton NJ 08544, US...
63
Voted
APSCC
2008
IEEE
15 years 4 months ago
2008
IEEE
