1769 search results - page 306 / 354 » Choice in Dynamic Linking |
SAS
2010
Springer
14 years 10 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
110
click to vote
WINET
2010
14 years 10 months ago
2010
Abstract In this work we study the combination of multicost routing and adjustable transmission power in wireless ad hoc networks, so as to obtain dynamic energy- and interference-...
CJ
2010
14 years 10 months ago
2010
In this paper, we propose a resource-aware solution to achieving reliable and scalable stream diffusion in a probabilistic model, i.e., where communication links and processes are...
115
click to vote
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Cloud computing data centers are becoming increasingly popular for the provisioning of computing resources. The cost and operating expenses of data centers have skyrocketed with th...
101
click to vote
ICDM
2010
IEEE
14 years 9 months ago
2010
IEEE
A Cyber-Physical System (CPS) integrates physical devices (e.g., sensors, cameras) with cyber (or informational) components to form a situation-integrated analytical system that re...