2355 search results - page 294 / 471 » Scheduling in the Z-Polyhedral Model |
191
click to vote
RTS
2006
15 years 6 months ago
2006
Estimating the Worst Case Execution Time (WCET) of a program on a given processor is important for the schedulability analysis of real-time systems. WCET analysis techniques typic...
199
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—Despite much research on the throughput of relaying networks under idealized interference models, many practical wireless networks rely on physical-layer protocols that preclude...
172
click to vote
ICWL
2010
Springer
15 years 4 months ago
2010
Springer
Learning path construction is a complex task. It involves formulating and organizing learning activities, defining ways to evaluate student learning progress and to match such prog...
189
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
191
click to vote
ICML
2004
IEEE
16 years 7 months ago
2004
IEEE
In sequence modeling, we often wish to represent complex interaction between labels, such as when performing multiple, cascaded labeling tasks on the same sequence, or when longra...