Sciweavers

8655 search results - page 477 / 1731
» Challenges for Trusted Computing
Sort
View
EUROPAR
2004
Springer
15 years 10 months ago
Towards a Monitoring Framework for Worldwide Grid Information Services
Despite important advances in Grid computing, scalability and interoperability issues obstruct the integration of the existing isolated grids into the Grid. We propose a worldwide ...
Serafeim Zanikolas, Rizos Sakellariou
PARA
2004
Springer
15 years 10 months ago
A Cache-Aware Algorithm for PDEs on Hierarchical Data Structures
A big challenge in implementing up to date simulation software for various applications is to bring together highly efficient mathematical methods on the one hand side and an ef...
Frank Günther, Miriam Mehl, Markus Pögl,...
CLADE
2003
IEEE
15 years 10 months ago
Issues in Runtime Algorithm Selection for Grid Environments
The heterogeneity and unpredictability of grid computing environments is a severe challenge to algorithm selection for large-scale scientific codes. This paper discusses a set of ...
Prachi Bora, Calvin J. Ribbens, Sandeep Prabhakar,...
FM
2003
Springer
129views Formal Methods» more  FM 2003»
15 years 9 months ago
Trends in Software Verification
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
Gerard J. Holzmann
HOTOS
2009
IEEE
15 years 8 months ago
Augmented Smartphone Applications Through Clone Cloud Execution
Smartphones enable a new, rich user experience in pervasive computing, but their hardware is still very limited in terms of computation, memory, and energy reserves, thus limiting...
Byung-Gon Chun, Petros Maniatis