4962 search results - page 680 / 993 » Stochastic Model Checking |
132
Voted
HPDC
1999
IEEE
15 years 6 months ago
1999
IEEE
We present a performance-based methodology for designing a high-bandwidth radar application on commodity platforms. Unlike many real-time systems, our approach works for commodity...
127
click to vote
ISSS
1999
IEEE
15 years 6 months ago
1999
IEEE
The policy optimization problem for dynamic power management has received considerable attention in the recent past. We formulate policy optimization as a constrained optimization...
123
click to vote
HICSS
1997
IEEE
15 years 6 months ago
1997
IEEE
We describe an environment to produce traces representing significant workloads for a shared-bus shared-memory multiprocessor used as a general-purpose multitasking machine, wher...
100
Voted
AUTONOMICS
2007
ACM
15 years 6 months ago
2007
ACM
This paper revisits the fundamental trade-off between endto-end and hop-by-hop transport control. The end-to-end principle has been one of the building blocks of the Internet; but...
101
click to vote
ADVIS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we introduce a new approach to adaptive coding which utilizes Stochastic Learning-based Weak Estimation (SLWE) techniques to adaptively update the probabilities of t...