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...
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...
Abstract. In [8], Freuder defined interchangeability for classical Constraint Satisfaction Problems (CSPs). Recently [2], we extended the definition of interchangeability to Soft ...
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 ...
Abstract. This paper proposes two compiler-assisted techniques to improve thread level control speculation in speculative multithreading executions. The first technique is to incr...