4061 search results - page 513 / 813 » Framework Evolution Tool |
182
click to vote
EUROPAR
2009
Springer
16 years 1 months ago
2009
Springer
The size of supercomputers in numbers of processors is growing exponentially. Today’s largest supercomputers have upwards of a hundred thousand processors and tomorrow’s may ha...
167
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
The usefulness and usability of programming tools (for example, languages, libraries, and frameworks) may greatly impact programmer productivity and software quality. Ideally, the...
159
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Running unit tests suites with contemporary tools such as JUNIT can show the presence of bugs, but not their locations. This is different from checking a program with a compiler, w...
133
click to vote
IPPS
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper describes a source to source compilation tool for optimizing MPI-based parallel applications. This tool is able to automatically apply a “prepushing” transformation...
186
click to vote
PROVSEC
2007
Springer
16 years 23 days ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...