2673 search results - page 472 / 535 » Guided Static Analysis |
132
Voted
RV
2010
Springer
15 years 2 months ago
2010
Springer
We present the InterAspect instrumentation framework for GCC, a widely used compiler infrastructure. The addition of plugin support in the latest release of GCC makes it an attract...
126
Voted
RV
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a new approach for developing robust software applications that breaks dependences on the failed parts of an application’s execution to allow the rest of the...
143
click to vote
TPDS
2010
15 years 2 months ago
2010
—In this paper, we consider the issue of efficient broadcasting in mobile ad hoc networks (MANETs) using network coding and directional antennas. Network coding-based broadcastin...
123
Voted
GAMESEC
2010
15 years 1 months ago
2010
We consider a multi-criteria control problem that arises in a delay tolerant network with two adversarial controllers: the source and the jammer. The source's objective is to ...
137
click to vote
IPPS
2010
IEEE
15 years 1 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...