Sciweavers

12783 search results - page 2342 / 2557
» Experimenting with computing
Sort
View
EUROPAR
2000
Springer
15 years 8 months ago
Design and Evaluation of a Compiler-Directed Collective I/O Technique
Abstract. Current approaches to parallel I/O demand extensive user effort to obtain acceptable performance. This is in part due to difficulties in understanding the characteristics...
Gokhan Memik, Mahmut T. Kandemir, Alok N. Choudhar...
HHCI
2000
15 years 8 months ago
Tactile Information Presentation in the Cockpit
This paper describes two aspects of the application of tactile information presentation in the cockpit. The first half of the paper discusses why the tactile channel might be used...
Henricus A. H. C. van Veen, Jan B. F. van Erp
ISHPC
2000
Springer
15 years 8 months ago
Leveraging Transparent Data Distribution in OpenMP via User-Level Dynamic Page Migration
This paper describes transparent mechanisms for emulating some of the data distribution facilities offered by traditional data-parallel programming models, such as High Performance...
Dimitrios S. Nikolopoulos, Theodore S. Papatheodor...
BIRTHDAY
1991
Springer
15 years 8 months ago
The Markgraf Karl Refutation Procedure
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
Hans Jürgen Ohlbach, Jörg H. Siekmann
ASPLOS
1987
ACM
15 years 8 months ago
Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...
Richard F. Rashid, Avadis Tevanian, Michael Young,...
« Prev « First page 2342 / 2557 Last » Next »