2607 search results - page 309 / 522 » On the Architecture of System Verification Environments |
190
click to vote
TAAS
2010
15 years 1 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
198
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
This paper proposes a fully automated 3D reconstruction
and visualization system for architectural scenes (interiors
and exteriors). The reconstruction of indoor environments
fr...
177
click to vote
ICCSA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The last advances in commodity hardware have allowed users of immersive visualization to create high-performance systems using a set of interconnected computers. These sy...
148
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we present a robust software infrastructure for metacomputing. The system is intended to be used by others as a building block for large and powerful computational g...
192
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...