1926 search results - page 116 / 386 » From P to MP Systems |
KBSE
2010
IEEE
14 years 8 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
ISCAS
2002
IEEE
15 years 2 months ago
2002
IEEE
Scalar linear time-varying systems are addressed. In particular, a new factorization method for the associated scalar polynomial system differential operator is presented. It diff...
DAC
1990
ACM
15 years 2 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
INFOCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
—This paper presents a theoretic framework of optimal resource allocation and admission control for peer-topeer networks. Peer’s behavioral rankings are incorporated into the r...
ISCC
2007
IEEE
15 years 4 months ago
2007
IEEE
In a P2P file-sharing system, a node finds and retrieves its desired file. If multiple nodes cache the same file to provide others, we can achieve a file-sharing system with ...