1027 search results - page 175 / 206 » Callgraph properties of executables |
162
Voted
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
132
Voted
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
—Energy consumption continues to be a major concern in multiple application domains including powerhungry data centers, portable and wearable devices, mobile communication device...
158
click to vote
IWMM
2007
Springer
15 years 10 months ago
2007
Springer
We present and evaluate a new technique for detecting and eliminating memory leaks in programs with dynamic memory allocation. This technique observes the execution of the program...
133
click to vote
LCTRTS
2007
Springer
15 years 10 months ago
2007
Springer
Energy efficiency is an important factor in embedded systems design. We consider an embedded system with a dynamic voltage scaling (DVS) capable processor and its system-wide pow...
130
Voted
HASKELL
2006
ACM
15 years 9 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...