666 search results - page 15 / 134 » Static and Dynamic Data Management in Networks |
SAS
2010
Springer
14 years 8 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...
ISLPED
2004
ACM
15 years 3 months ago
2004
ACM
—This paper presents a method that uses data buffers to create long periods of idleness to exploit power management. This method considers the power consumed by the buffers and a...
101
click to vote
DEXAW
1999
IEEE
15 years 2 months ago
1999
IEEE
The Workflow Management System AltaVista Works has been extended to be able to process workflows in a distributed, partly even parallel manner. Build-time data are replicated over...
82
Voted
SPAA
2009
ACM
15 years 10 months ago
2009
ACM
Denial of service (DoS) attacks are arguably one of the most cumbersome problems in the Internet. This paper presents a distributed information system (over a set of completely co...
119
click to vote
ISVLSI
2003
IEEE
15 years 2 months ago
2003
IEEE
The behavior of many algorithms is heavily determined by the input data. Furthermore, this often means that multiple and completely different execution paths can be followed, also...