748 search results - page 124 / 150 » Time and Probability in Process Algebra |
149
Voted
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...
144
Voted
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— We consider the control of impulsive systems with jumps triggered by a renewal process, that is, the intervals between jumps are independent and identically distributed. The co...
165
Voted
INFOCOM
2000
IEEE
15 years 10 months ago
2000
IEEE
—An analytical framework for modeling the performance of a single TCP session in the presence of random packet loss is presented. A Markovian approach is developed that allows us...
156
Voted
ITC
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a logic synthesis tool called BETSY (BIST Environment Testable Synthesis) for synthesizing circuits that achieve complete (100%)fault coverage in a user specif...
172
Voted
ASUNAM
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we present a horizontal view of social influence, more specifically a quantitative study of the influence of neighbours on the probability of a particular node to jo...