Sciweavers

54 search results - page 4 / 11
» re 1997
Sort
View
ICCD
1997
IEEE
78views Hardware» more  ICCD 1997»
13 years 10 months ago
Speeding up Variable Reordering of OBDDs
In this paper, we suggest a block-restricted sifting strategy which is based on the restriction of Rudell's sifting to certain blocks of variables. The application of this st...
Christoph Meinel, Anna Slobodová
ISHPC
1997
Springer
13 years 10 months ago
Resource Management Methods for General Purpose Massively Parallel OS SSS-Core
We propose two resource management methods; a scheduling policy that re ects resource consumption states and a memory-replacement strategy based on page classi cation under distrib...
Yojiro Nobukuni, Takashi Matsumoto, Kei Hiraki
PPSC
1997
13 years 7 months ago
The Dynamic Adaptation of Parallel Mesh-Based Computation
We present an overview of algorithms and data structures for dynamic re nement coarsening adaptation of unstructured FE meshes on loosely coupled parallel processors. We describ...
José G. Castaños, John E. Savage
RE
1997
Springer
13 years 10 months ago
SOFL: A Formal Engineering Methodology for Industrial Applications
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
Shaoying Liu
SIGGRAPH
1997
ACM
13 years 10 months ago
Interactive simulation of fire in virtual building environments
This paper describes the integration of the Berkeley Architectural Walkthrough Program with the National Institute of Standards and Technology’s CFAST fire simulator. The integ...
Richard W. Bukowski, Carlo H. Séquin