370 search results - page 39 / 74 » Object-Oriented Abstract State Machines |
204
click to vote
ASM
2004
ASM
16 years 25 days ago
2004
ASM
For a while it seemed possible to pretend that all interaction between an algorithm and its environment occurs inter-step, but not anymore. Andreas Blass, Benjamin Rossman and the ...
179
click to vote
ISLPED
2003
ACM
16 years 20 days ago
2003
ACM
The power consumption of a sequential circuit can be reduced by decomposing it into subcircuits which can be turned off when inactive. Power can also be reduced by careful state e...
199
Voted
ENTCS
2007
15 years 7 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
205
Voted
WDAG
1993
Springer
15 years 11 months ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...
199
Voted
AC
2000
Springer
15 years 11 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...