2373 search results - page 153 / 475 » Towards a Model of Computer Systems Research |
152
click to vote
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Humanity’s understanding of the Earth’s weather and climate depends critically on accurate forecasting and state-estimation technology. It is not clear how to build a...
149
Voted
FPCA
1995
15 years 8 months ago
1995
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...
131
Voted
DEXAW
2009
IEEE
15 years 9 months ago
2009
IEEE
Various retrieval models have been developed and analyzed so far, but less research aims to an integration of the different models within a common framework. This paper introduces ...
141
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
Grid-BGC is a Grid-enabled terrestrial biogeochemical cycle simulator collaboratively developed by the National Center for Atmospheric Research (NCAR) and the University of Colorad...
140
click to vote
ASE
2008
15 years 5 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...