1878 search results - page 172 / 376 » The Vienna Abstract Machine |
137
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
We argue that recent hypervisor-vs-microkernel discussions completely miss the point. Fundamentally, the two classes of systems h in common, and provide similar abstractions. We a...
118
click to vote
JACIII
2006
15 years 3 months ago
2006
om which abstract features are extracted with image processing. The output of the system is the state of printing pressure, which is divided into 3 states: EXCESSIVE PRESSURE (EP),...
111
click to vote
ENTCS
2007
15 years 3 months ago
2007
Operational semantics for programming languages usually come in two flavours: big-step and small-step. Both are defined using deduction rules with a congruence rule allowing redu...
115
click to vote
ENTCS
2007
15 years 3 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
157
click to vote
JSA
2008
15 years 3 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...