1287 search results - page 23 / 258 » Towards system software for physical space applications |
ADAEUROPE
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
SYNASC
2006
IEEE
14 years 1 months ago
2006
IEEE
In the last years, as object-oriented software systems became more and more complex, the need of performing automatically reverse engineering upon these systems has increased sign...
IJHPCA
2010
13 years 6 months ago
2010
As high-end computing systems continue to grow in scale, recent advances in multiand many-core architectures have pushed such growth toward more denser architectures, that is, mor...
COMPSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
—This paper considers the task of software test case generation from a large space of values of input parameters. The purpose of the paper is to create a model of software input ...
AAAI
1993
13 years 9 months ago
1993
Many reported discovery systems build discrete models of hidden structure, properties, or processes in the diverse fields of biology, chemistry, and physics. We show that the sear...