3865 search results - page 407 / 773 » Active memory operations |
176
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
144
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents a tool, the Performance Model Manager, which addresses the complexity of the construction and management of a set of Functional Performance Models on a comp...
173
click to vote
ISPAN
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, we present a design architecture of implementing a ”Vector Bank” into video encoder system, namely, an H.264 encoder, in order to detect and analyze the movin...
151
click to vote
ACNS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Users of online-collaboration tools and network storage services place considerable trust in their providers. This paper presents a novel approach for protecting data int...
166
click to vote
IWMM
2009
Springer
16 years 1 months ago
2009
Springer
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...