15636 search results - page 3082 / 3128 » Modelling by supersaturated designs |
133
click to vote
MFCS
1995
Springer
15 years 5 months ago
1995
Springer
act Account of Composition Mart n Abadi1 and Stephan Merz2 1 Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, U.S.A. 2 Institut fur I...
120
click to vote
PLDI
1995
ACM
15 years 5 months ago
1995
ACM
We present a unified approach to locality optimization that employs both data and control transformations. Data transformations include changing the array layout in memory. Contr...
156
Voted
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
117
click to vote
EDBT
2010
ACM
15 years 5 months ago
2010
ACM
MapReduce and stream processing are two emerging, but different, paradigms for analyzing, processing and making sense of large volumes of modern day data. While MapReduce offers t...
112
click to vote
CCGRID
2009
IEEE
15 years 5 months ago
2009
IEEE
The understanding of H diffusion in materials is pivotal to designing suitable processes. Though a nudged elastic band (NEB)+molecular dynamics (MD)/quantum mechanics (QM) algori...