5171 search results - page 355 / 1035 » Deterministic Parallel Processing |
159
Voted
SPAA
2006
ACM
15 years 9 months ago
2006
ACM
LOFAR is the first of a new generation of radio telescopes, that combines the signals from many thousands of simple, fixed antennas, rather than from expensive dishes. Its revol...
123
Voted
ENTCS
2006
15 years 3 months ago
2006
Weak bisimilarity is one of the most studied behavioural equivalences. This equivalence is undecidable for pushdown processes (PDA), process algebras (PA), and multiset automata (...
114
Voted
OSDI
1994
ACM
15 years 4 months ago
1994
ACM
Parallel processing has been proposed as a means of improving network protocol throughput. Several different strategies have been taken towards parallelizing protocols. A relative...
139
Voted
IPPS
1997
IEEE
15 years 7 months ago
1997
IEEE
Tools for parallel systems today range from specification over debugging to performance analysis and more. Typically, they help the programmers of parallel algorithms from the ea...
124
click to vote
ISSAC
2007
Springer
15 years 9 months ago
2007
Springer
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...