3686 search results - page 675 / 738 » An Approach to a Trustworthy System Architecture Using Virtu... |
DSS
2006
13 years 7 months ago
2006
There has been a tremendous growth in the amount of information and resources on the World Wide Web that are useful to researchers and practitioners in science domains. While the ...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
—High-end machines at modern HPC centers are constantly undergoing hardware and system software upgrades – necessitating frequent rebuilds of application codes. The number of p...
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
TAPAS is a suite of libraries dedicated to FO (R, Z, +, ≤). The suite provides (1) the application programming interface GENEPI for this logic with encapsulations of many classic...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract— Man-made real-world environments are dominated by planar surfaces many of which constitute behaviorrelevant entities. Thus, the ability to perceive planar surfaces is v...
JSSPP
2007
Springer
14 years 1 months ago
2007
Springer
The number of distributed high performance computing architectures has increased exponentially these last years. Thus, systems composed by several computational resources provided ...