45 search results - page 9 / 9 » Intelligent Management of Data Driven Simulations to Support... |
IPPS
2010
IEEE
13 years 2 months ago
2010
IEEE
There is building interest in using FPGAs as accelerators for high-performance computing, but existing systems for programming them are so far inadequate. In this paper we propose...
TPHOL
2009
IEEE
13 years 11 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
WWW
2003
ACM
14 years 5 months ago
2003
ACM
This paper presents the notion of Semantic Associations as complex relationships between resource entities. These relationships capture both a connectivity of entities as well as ...
MM
1997
ACM
13 years 9 months ago
1997
ACM
A number of recent technological trends have made data intensive applications such as continuous media (audio and video) servers a reality. These servers store and retrieve a larg...
FLAIRS
2003
13 years 6 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...