Sciweavers

1700 search results - page 144 / 340
» Specifying and implementing refactorings
Sort
View
IPPS
1998
IEEE
15 years 9 months ago
Using PI/OT to Support Complex Parallel I/O
This paper describes PI/OT, a template-based parallel I/O system. In PI/OT, I/O streams have annotations associated with them that are external to the source code. These annotatio...
Ian Parsons, Jonathan Schaeffer, Duane Szafron, Ro...
134
Voted
SRDS
1998
IEEE
15 years 9 months ago
System-Level Versus User-Defined Checkpointing
Checkpointing and rollback recovery is a very effective technique to tolerate transient faults and preventive shutdowns. In the past, most of the checkpointing schemes published i...
Luís Moura Silva, João Gabriel Silva
SSDBM
1998
IEEE
113views Database» more  SSDBM 1998»
15 years 9 months ago
From a Procedural to a Visual Query Language for OLAP
We address the issue of designing effective query languages for OLAP databases. The basis of our investigation is MD, a new data model for multidimensional databases that, unlike ...
Luca Cabibbo, Riccardo Torlone
TPHOL
1998
IEEE
15 years 9 months ago
Co-inductive Axiomatization of a Synchronous Language
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
David Nowak, Jean-René Beauvais, Jean-Pierr...
129
Voted
HPCA
1997
IEEE
15 years 9 months ago
Software-Managed Address Translation
In this paper we explore software-managed address translation. The purpose of the study is to specify the memory management design for a high clock-rate PowerPC implementation in ...
Bruce L. Jacob, Trevor N. Mudge