753 search results - page 54 / 151 » Fragments-based Model Reduction: Some Case Studies |
WCNC
2010
IEEE
13 years 7 months ago
2010
IEEE
—In this paper, we present an interference model for cognitive radio (CR) networks employing power control or contention control scheme. The probability density functions (PDFs) ...
MSS
2010
IEEE
13 years 7 months ago
2010
IEEE
Distributional analysis is widely used to study social choice in Euclidean models [35, 36, 1, 5, 11, 19, 8, 2, e.g]. This method assumes a continuum of voters distributed accordin...
CAV
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
COCO
1991
Springer
14 years 12 days ago
1991
Springer
For various polynomial-time reducibilities r, this paper asks whether being r-reducible to a sparse set is a broader notion than being r-equivalent to a sparse set. Although distin...
DAC
2007
ACM
14 years 25 days ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...