12333 search results - page 1991 / 2467 » System Level Modelling for Hardware Software Systems |
189
Voted
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper develops a plug-and-play reusable LogGP model that can be used to predict the runtime and scaling behavior of different MPI-based pipelined wavefront applications runni...
188
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
218
Voted
3DPVT
2002
IEEE
15 years 12 months ago
2002
IEEE
Increasingly, models of the world are directly built from images. The paper discusses a number of recent developments that try to push the enveloppe of what image-based modeling c...
250
Voted
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Rapid advances in networking, hardware, and middleware technologies are facilitating the development and deployment of complex grid applications, such as large-scale distributed co...
179
Voted
MICRO
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—Parameter variations have become a dominant challenge in microprocessor design. Voltage variation is especially daunting because it happens so rapidly. We measure and ch...