66 search results - page 7 / 14 » Applying Jlint to Space Exploration Software |
PEPM
2000
ACM
13 years 11 months ago
2000
ACM
Transforming recursion into iteration eliminates the use of stack frames during program execution. It has been studied extensively. This paper describes a powerful and systematic ...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Test coverage such as branch coverage is commonly measured to assess the sufficiency of test inputs. To reduce tedious manual efforts in generating high-covering test i...
CODES
1996
IEEE
13 years 11 months ago
1996
IEEE
This reported work applies a transformational synthesis approach to hardware/software codesign. In this approach, the process of algorithm design is coupled early on with hardware...
ISVC
2010
Springer
13 years 6 months ago
2010
Springer
We extend our previous work on the exploration of static metabolic networks to evolving, and therefore dynamic, pathways. We apply our visualization software to data from a simulat...
ICCS
2004
Springer
14 years 26 days ago
2004
Springer
Problem Solving Environments have a well established position as an essential tool for computational science. We focus our attention in this article on how to provide parallel com...