Sciweavers

3134 search results - page 211 / 627
» Computing full disjunctions
Sort
View
LCN
2003
IEEE
15 years 11 months ago
Pipelining and Overlapping for MPI Collective Operations
Collective operations are an important aspect of the currently most important message-passing programming model MPI (Message Passing Interface). Many MPI applications make heavy u...
Joachim Worringen
JCDL
2003
ACM
109views Education» more  JCDL 2003»
15 years 11 months ago
How to Turn the Page
Can digital libraries provide a reading experience that more closely resembles a real book than a scrolled or paginated electronic display? This paper describes a prototype page-t...
Yi-Chun Chu, Ian H. Witten, Richard Lobb, David Ba...
CSCLP
2003
Springer
15 years 11 months ago
Experimental Evaluation of Interchangeability in Soft CSPs
Abstract. In [8], Freuder defined interchangeability for classical Constraint Satisfaction Problems (CSPs). Recently [2], we extended the definition of interchangeability to Soft ...
Nicoleta Neagu, Stefano Bistarelli, Boi Faltings
ECOOPW
2003
Springer
15 years 11 months ago
.NET: The Programmer's Perspective
Report about the ECOOP 2003 workshop WS 03, “.NET: The Programmer’s Perspective”.  Much of the push behind Microsoft's new .NET technology has been directed at such ...
Hans-Jürgen Hoffmann
EUROPAR
2003
Springer
15 years 11 months ago
Compiler-Assisted Thread Level Control Speculation
Abstract. This paper proposes two compiler-assisted techniques to improve thread level control speculation in speculative multithreading executions. The first technique is to incr...
Hideyuki Miura, Luong Dinh Hung, Chitaka Iwama, Da...