Sciweavers

SC
1995
ACM
15 years 8 months ago
Lattice QCD on the IBM Scalable POWERParallel Systems SP2
Claude Bernard, Carleton DeTar, Steven Gottlieb, U...
SC
1995
ACM
15 years 8 months ago
Relative Debugging and its Application to the Development of Large Numerical Models
Because large scienti c codes are rarely static objects, developers are often faced with the tedious task of accounting for discrepancies between new and old versions. In this pap...
David Abramson, Ian T. Foster, John Michalakes, Ro...
SBIA
1995
Springer
15 years 8 months ago
Modeling the Influence of Non-Changing Quantities
ion Framework for Compositional Modeling 36 Diane Chi and Yumi Iwasaki Model Decomposition and Simulation 45 Daniel J. Clancy and Benjamin Kuipers A Distance Measure for Attention ...
Bert Bredeweg, Kees de Koning, Cis Schut
SAS
1995
Springer
127views Formal Methods» more  SAS 1995»
15 years 8 months ago
Complementation in Abstract Interpretation
ntation in Abstract Interpretation AGOSTINO CORTESI Universit`a di Venezia GILBERTO FIL´E Universit`a di Padova ROBERTO GIACOBAZZI Universit`a di Pisa CATUSCIA PALAMIDESSI Univers...
Agostino Cortesi, Gilberto Filé, Roberto Gi...
SAC
1995
ACM
15 years 8 months ago
Achieving efficient register allocation via parallelism
Christine Makowski, Lori L. Pollock