277 search results - page 2 / 56 » Timing-Sensitive Information Flow Analysis for Synchronous S... |
FMCO
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
FOSSACS
2010
Springer
14 years 2 days ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
INTERSPEECH
2010
13 years 2 days ago
2010
It was recently shown that complex cepstrum can be effectively used for glottal flow estimation by separating the causal and anticausal components of speech. In order to guarantee...
SIAMCOMP
2010
12 years 12 months ago
2010
Synchronization is often necessary in parallel computing, but it can create delays whenever the receiving processor is idle, waiting for the information to arrive. This is especia...
EUSFLAT
2009
13 years 3 months ago
2009
This paper proposes to analyze two flow line systems in which we include possibilistic data -the priority-discipline is possibilistic instead of probabilistic- and measure the perf...