4962 search results - page 315 / 993 » Stochastic Model Checking |
110
click to vote
ICIP
1999
IEEE
16 years 4 months ago
1999
IEEE
The JBIG2standard supports lossless and lossy coding models for text, halftone, and generic regions in bi-level images. For the JBIG2 lossy halftone compression mode, halftones ar...
145
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper studies a stochastic game theoretic approach to security and intrusion detection in communication and computer networks. Specifically, an Attacker and a Defender take pa...
133
click to vote
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
123
click to vote
ENTCS
2007
15 years 3 months ago
2007
We describe techniques for diagnosing errors in formal equivalence checking of RTL and transistor level models of high performance microprocessors at Freescale Semiconductor Inc. ...
112
click to vote
GLVLSI
2003
IEEE
15 years 8 months ago
2003
IEEE
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...