682 search results - page 83 / 137 » Parallel Programming and Parallel Abstractions in Fortress |
107
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for t...
137
click to vote
WOB
2004
15 years 2 months ago
2004
ABSTRACT. Reconfigurable systolic arrays can be adapted to efficiently resolve a wide spectrum of computational problems; parallelism is naturally explored in systolic arrays and r...
145
click to vote
TNN
2010
14 years 8 months ago
2010
Abstract--Recurrent neural networks have become a prominent tool for optimizations including linear or nonlinear variational inequalities and programming, due to its regular mathem...
114
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...
111
click to vote
IRREGULAR
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We describe the design and implementation of the Distributed ObjectOriented Threads System (DOTS). This system is a complete redesign of the Distributed Threads System (D...