562 search results - page 53 / 113 » Concurrent Turing Machines |
MODELS
2009
Springer
15 years 6 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
172
click to vote
ACMMSP
2006
ACM
15 years 5 months ago
2006
ACM
We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...
CONCURRENCY
1998
14 years 11 months ago
1998
Collaborative visualization is an active area of research in computer science. Many di erent techniques and implementations have been proposed. However, most of today's syste...
105
click to vote
COCO
2003
Springer
15 years 5 months ago
2003
Springer
We give machine characterisations and logical descriptions of a number of parameterized complexity classes. The focus of our attention is the class W[P], which we characterise as ...
MCU
2004
15 years 1 months ago
2004
Abstract. This paper provides a framework enabling to define and determine the complexity of various universal programs U for various machines. The approach consists of first defin...