14331 search results - page 410 / 2867 » On the modeling and analysis of obligations |
169
click to vote
WCET
2010
15 years 4 months ago
2010
This paper considers the use of Extreme Value Theory (EVT) to model worst-case execution times. In particular it considers the sacrifice that statistical methods make in the reali...
196
click to vote
WIOPT
2010
IEEE
15 years 4 months ago
2010
IEEE
By analogy with an approach widely used in physics, we consider a discrete set of base stations (BS) as a continuum of transmitters. This model allows us to establish a simple clos...
191
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The use of statically compiled search networks for ASR systems using huge vocabularies and complex language models often becomes challenging in terms of memory requirements. Dynam...
279
click to vote
ICASSP
2011
IEEE
2011
IEEE
Analysis of the security of linear blinding techniques from an information theoretical point of view
14 years 10 months ago
We propose a novel model to characterize the security of linear blinding techniques. The proposed model relates the security of blinding to the possibility of estimating the blind...
208
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We propose a general formal model of isolated hierarchical parallel computations, and identify several fragments to match the concurrency constructs present in real-world programm...