1403 search results - page 169 / 281 » Quantitative Interprocedural Analysis |
CN
2006
2006
A generic characterization of the overheads imposed by IPsec and associated cryptographic algorithms
13 years 10 months ago
This paper presents an assessment of the communication overheads of IPsec and evaluates the feasibility of deploying it on handheld devices for the UMTS architecture. A wide range...
IVC
2008
13 years 10 months ago
2008
This paper presents a method for the self-calibration of non-rigid affine structure to a Euclidean co-ordinate frame from only two views by enforcing constraints derived from the ...
JSAT
2006
13 years 10 months ago
2006
An analysis of the SAT 2005 sub-competition on random instances is given. This year this (sub-)competition set-up was geared to establish a basic setting, focusing on the instance...
PRESENCE
2006
13 years 10 months ago
2006
This paper describes the design, application, and refinement of a qualitative tool designed to study sense of place. The Place Probe incorporates a range of stimuli and techniques...
SIGMETRICS
2008
ACM
13 years 10 months ago
2008
ACM
This paper addresses the quantitative analysis of gossiping protocols. In contrast to existing approaches which are entirely based on the simulation of the individual nodes' ...