2015 search results - page 276 / 403 » Hidden Software Capabilities |
WSC
2007
13 years 11 months ago
2007
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer n...
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
CASES
2008
ACM
13 years 11 months ago
2008
ACM
Power, energy, and thermal concerns have constrained embedded systems designs. Computing capability and storage density have increased dramatically, enabling the emergence of hand...
CC
2008
Springer
13 years 11 months ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
CISIS
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper describes the initial PhD research work for developing an innovative process for agent coordination in unstructured distributed environments. In this proposal, an agent...