5550 search results - page 906 / 1110 » Different Approaches to Proof Systems |
224
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
214
Voted
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
Future scalable, high throughput, and high performance applications are likely to execute on platforms constructed by clustering multiple autonomous distributed servers, with reso...
170
click to vote
SBCCI
2009
ACM
15 years 11 months ago
2009
ACM
Because of the aggressive scaling of integrated circuits and the given limits of atomic scales, circuit designers have to become more and more aware of the arising reliability and...
171
click to vote
ECIR
2008
Springer
15 years 8 months ago
2008
Springer
More and more documents on the World Wide Web are based on templates. On a technical level this causes those documents to have a quite similar source code and DOM tree structure. G...
190
click to vote
NIPS
2003
15 years 8 months ago
2003
At a cocktail party, a listener can selectively attend to a single voice and filter out other acoustical interferences. How to simulate this perceptual ability remains a great cha...