5015 search results - page 463 / 1003 » Model Checking a Path |
174
click to vote
SIGCOMM
2005
ACM
16 years 11 days ago
2005
ACM
Predicting the throughput of large TCP transfers is important for a broad class of applications. This paper focuses on the design, empirical evaluation, and analysis of TCP throug...
211
click to vote
ICCAD
2003
IEEE
16 years 2 days ago
2003
IEEE
The impact of power supply integrity on a design has become a critical issue, not only for functional verification, but also for performance verification. Traditional analysis has...
161
click to vote
ACL
2008
15 years 8 months ago
2008
An incremental dependency parser's probability model is entered as a predictor in a linear mixed-effects model of German readers' eye-fixation durations. This dependency...
149
click to vote
COGSCI
2011
15 years 1 months ago
2011
This article examines cognitive process models of human sentence comprehension based on the idea of informed search. These models are rational in the sense that they strive to qui...
186
click to vote
INFOCOM
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract— Standard embeded sensor nework models emphasize energy efficiency and distributed decision-making by considering untethered and unattended sensors. To this we add two ...