5015 search results - page 624 / 1003 » Model Checking a Path |
175
Voted
INFOCOM
2006
IEEE
16 years 25 days ago
2006
IEEE
—We consider a set of flows passing through a set of servers. The injection rate into each flow is governed by a flow control that increases the injection rate when all the se...
192
click to vote
DFT
2005
IEEE
16 years 12 days ago
2005
IEEE
A new jitter model is developed using Matlab and Spice to analyze Data Dependent Jitter (DDJ) in serial data integrated circuits. The simulation results show that DDJ is dependent...
166
click to vote
OOPSLA
2005
Springer
16 years 8 days ago
2005
Springer
There is a critical need for approaches to support software testing. Our research exploits the information described at Architectural Patterns to drive the definition of tests. As...
160
click to vote
AH
2004
Springer
16 years 6 days ago
2004
Springer
This article introduces an approach to adaptive wayfinding support for lifelong learners based on self-organisation theory. It describes an architecture which supports the recordin...
193
click to vote
FOCS
2003
IEEE
16 years 2 days ago
2003
IEEE
We show that random graphs in the preferential connectivity model have constant conductance, and hence have worst-case routing congestion that scales logarithmically with the numb...