4885 search results - page 504 / 977 » Architectural Considerations with Distributed Computing |
201
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
182
Voted
ISTA
2008
15 years 8 months ago
2008
Abstract. Service-oriented Computing and Service-oriented Architectures aspire to better exploit existing middleware technologies. To this end, a more flexible, platform independen...
216
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we propose a novel multi-mode/multi-corner sparse regression (MSR) algorithm to build large-scale performance models of integrated circuits at multiple working mode...
205
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Parallel programming is elusive. The relative performance of di erent parallel implementations varies with machine architecture, system and problem size. How to compare di erent i...
164
Voted
HPDC
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper describes PARDIS, a system containing explicit support for interoperability of PARallel DIStributed applications. PARDIS is based on the Common Object Request Broker Ar...