68 search results - page 1 / 14 » Gauss: A Framework for Verifying Scientific Computing Softwa... |
ENTCS
2006
13 years 4 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
HPCC
2007
Springer
13 years 10 months ago
2007
Springer
This paper presents a publish/subscribe based asynchronous remote method invocation framework (PARMI) aiming to improve performance and programming flexibility. PARMI enables high-...
IPPS
1999
IEEE
13 years 8 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
ICFEM
1997
Springer
13 years 8 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
EUROPAR
2006
Springer
13 years 8 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...