17298 search results - page 242 / 3460 » Abstract computing machines |
146
click to vote
MFCS
2010
Springer
15 years 2 months ago
2010
Springer
We prove that coverability and termination are not primitive-recursive for lossy counter machines and for Reset Petri nets.
132
click to vote
ASM
2005
ASM
15 years 9 months ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
126
click to vote
EUROMICRO
2004
IEEE
15 years 7 months ago
2004
IEEE
A virtual machine is a software replica of an underlying real machine. Multiple virtual machines can operate on the same host machine concurrently, without interfere each other. S...
135
click to vote
DAC
2001
ACM
16 years 5 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
134
click to vote
AAAI
2008
15 years 6 months ago
2008
ion-Based Versus Potential-Aware Automated Abstraction in Imperfect Information Games: An Experimental Comparison Using Poker Andrew Gilpin and Tuomas Sandholm Computer Science Dep...