606 search results - page 13 / 122 » Library Miniaturization Using Static and Dynamic Information |
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--NABBIT is a work-stealing library for execution of task graphs with arbitrary dependencies which is implemented as a library for the multithreaded programming language Ci...
ESORICS
2012
Springer
11 years 10 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...
DSN
2007
IEEE
14 years 1 months ago
2007
IEEE
COTS components, like software libraries, can be used to reduce the development effort. Unfortunately, many COTS components have been developed without a focus on robustness and s...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
AROBOTS
2008
13 years 7 months ago
2008
This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information with a sensor-based motion planning system. The contribution in th...