Sciweavers

4722 search results - page 552 / 945
» Encoding Program Executions
Sort
View
ICLP
1999
Springer
15 years 11 months ago
A Linear Tabling Mechanism
Delaying-based tabling mechanisms, such as the one adopted in XSB, are nonlinear in the sense that the computation state of delayed calls has to be preserved. In this paper, we pr...
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai ...
IPPS
1998
IEEE
15 years 11 months ago
Migration and Rollback Transparency for Arbitrary Distributed Applications in Workstation Clusters
Programmers and users of compute intensive scientific applications often do not want to (or even cannot) code load balancing and fault tolerance into their programs. The PBEAM syst...
Stefan Petri, Matthias Bolz, Horst Langendörf...
MICRO
1998
IEEE
139views Hardware» more  MICRO 1998»
15 years 11 months ago
Better Global Scheduling Using Path Profiles
Path profiles record the frequencies of execution paths through a program. Until now, the best global instruction schedulers have relied upon profile-gathered frequencies of condi...
Cliff Young, Michael D. Smith
174
Voted
HICSS
1997
IEEE
120views Biometrics» more  HICSS 1997»
15 years 11 months ago
Building the 4 Processor SB-PRAM Prototype
The SB-PRAM is a massively parallel, uniform memory access (UMA) shared memory computer. The main ideas of the design are multithreading on instruction level, hashing of the addre...
Peter Bach, Michael Braun, Arno Formella, Jör...
159
Voted
HPCN
1997
Springer
15 years 11 months ago
High Performance Simulation for Resonant-Mass Gravitational Radiation Antennas
Abstract. In this paper the design and validation of a high performance simulation is discussed that is of critical value to the feasibility study of the GRAIL project, the aim of ...
Jan F. de Ronde, G. Dick van Albada, Peter M. A. S...