152 search results - page 17 / 31 » Parallel Feedback Turing Computability |
CSCW
2012
ACM
12 years 3 months ago
2012
ACM
Micro-task platforms provide massively parallel, ondemand labor. However, it can be difficult to reliably achieve high-quality work because online workers may behave irresponsibly...
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
HICSS
1997
IEEE
13 years 11 months ago
1997
IEEE
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...
SPAA
2010
ACM
13 years 7 months ago
2010
ACM
We present a scheduling algorithm of stream programs for multi-core architectures called team scheduling. Compared to previous multi-core stream scheduling algorithms, team schedu...
15
Voted
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...