562 search results - page 63 / 113 » Concurrent Turing Machines |
ANCS
2009
ACM
14 years 9 months ago
2009
ACM
We propose MCRingBuffer, a lock-free, cache-efficient shared ring buffer that provides fast data accesses among threads running in multi-core architectures. MCRingBuffer seeks to ...
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
14 years 11 months ago
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
SODA
2008
ACM
15 years 1 months ago
2008
ACM
It is known that the dynamics of best response in an environment of non-cooperative users may converge to a good solution when users play sequentially, but may cycle far away from...
ENTCS
2008
14 years 12 months ago
2008
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
106
click to vote
SC
1995
ACM
15 years 3 months ago
1995
ACM
Given the large communication overheads characteristic of modern parallel machines, optimizations that eliminate, hide or parallelize communication may improve the performance of ...