3934 search results - page 581 / 787 » Approximate Schedulability Analysis |
156
click to vote
EOR
2008
15 years 6 months ago
2008
Mixtures of truncated exponentials (MTE) potentials are an alternative to discretization for representing continuous chance variables in influence diagrams. Also, MTE potentials c...
180
click to vote
AROBOTS
2006
15 years 6 months ago
2006
This paper aims at a discussion of the structure of the SLAM problem. The analysis is not strictly formal but based both on informal studies and mathematical derivation. The first ...
147
click to vote
CN
2006
15 years 6 months ago
2006
We present an extensive analysis of long-term statistics of the queries to websites using logs collected on several web caches in Russian academic networks and on US IRCache cache...
174
click to vote
CN
2006
2006
A generic characterization of the overheads imposed by IPsec and associated cryptographic algorithms
15 years 6 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...
165
click to vote
ENTCS
2006
15 years 6 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...