1837 search results - page 142 / 368 » Abstraction and the C Machine Model |
191
click to vote
ENTCS
2007
15 years 6 months ago
2007
In recent papers we have introduced Mobile Synchronizing Petri Nets, a new model for mobility based on coloured Petri Nets. It allows the description of systems composed of a coll...
156
click to vote
IJCAI
2003
15 years 7 months ago
2003
The computation of the first complete approximations of game-theoretic optimal strategies for fullscale poker is addressed. Several abstraction techniques are combined to represe...
184
click to vote
OSDI
2000
ACM
15 years 7 months ago
2000
ACM
Single-language runtime systems, in the form of Java virtual machines, are widely deployed platforms for executing untrusted mobile code. These runtimes provide some of the featur...
178
click to vote
ICRA
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract— Creatively misquoting Thomas Hobbes, the process of software debugging is nasty, brutish, and all too long. This holds all the more true in robotics, which frequently i...
181
click to vote
LCPC
2007
Springer
16 years 19 days ago
2007
Springer
Massively parallel SIMD array architectures are making their way into embedded processors. In these architectures, a number of identical processing elements having small private st...