182 search results - page 18 / 37 » Theoretical analysis of bus-invert coding |
SPIN
2009
Springer
14 years 3 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
EXPCS
2007
14 years 10 days ago
2007
XML simplifies data exchange among heterogeneous computers, but it is notoriously verbose and has spawned the development of many XML-specific compressors and binary formats. We p...
ICTCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
In this paper, an analysis of the efficiency of three signal-to-noise ratio (SNR) scalable strategies for motion compensated video coders and their non-scalable counterpart is pre...
FSEN
2009
Springer
14 years 3 months ago
2009
Springer
We present an automata theoretic framework for modular schedulability analysis of real time asynchronous objects modeled in the language Creol. In previous work we analyzed the sch...