Sciweavers

3134 search results - page 211 / 627
» Computing full disjunctions
Sort
View
LCN
2003
IEEE
15 years 9 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 9 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 9 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 9 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 9 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...