4962 search results - page 379 / 993 » Stochastic Model Checking |
170
Voted
TOG
2010
14 years 10 months ago
2010
Realistic rendering of participating media is one of the major subjects in computer graphics. Monte Carlo techniques are widely used for realistic rendering because they provide u...
275
Voted
RTAS
2011
IEEE
14 years 7 months ago
2011
IEEE
—In this paper, we propose two adaptive scheduling approaches to support real-time control applications with highly varying computation times. The use of a resource reservation s...
134
Voted
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
—Intrusion Detection Systems (IDS) have become ubiquitous in the defense against virus outbreaks, malicious exploits of OS vulnerabilities, and botnet proliferation. As attackers...
150
Voted
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Biological systems involving genetic reactions are large discrete event systems, and often contain certain species that occur in small quantities, and others that occur i...
197
Voted
DAC
2002
ACM
16 years 4 months ago
2002
ACM
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...