2661 search results - page 278 / 533 » Model Checking Performability Properties |
105
Voted
IPMU
2010
Springer
14 years 11 months ago
2010
Springer
It is well known that among all probabilistic graphical Markov models the class of decomposable models is the most advantageous in the sense that the respective distributions can b...
146
Voted
PE
2010
Springer
14 years 11 months ago
2010
Springer
We propose a trace fitting algorithm for Markovian Arrival Processes (MAPs) that can capture statistics of any order of interarrival times between measured events. By studying re...
104
click to vote
DAC
1998
ACM
16 years 1 months ago
1998
ACM
As VLSI circuit speeds have increased, reliable chip and system design can no longer be performed without accurate threedimensional interconnect models. In this paper, we describe...
110
click to vote
ICCD
2006
IEEE
15 years 9 months ago
2006
IEEE
—This paper presents a system-level Network-on-Chip modeling framework that integrates transaction-level model and analytical wire model for design space exploration. It enables ...
106
Voted
WEBI
2009
Springer
15 years 7 months ago
2009
Springer
Due to the increasing demands for network security, distributed intrusion detection has become a hot research topic in computer science. However, the design and maintenance of the...