924 search results - page 131 / 185 » Teaching simulation using case studies |
129
Voted
ECRTS
2004
IEEE
15 years 6 months ago
2004
IEEE
Many real-time systems need to maintain fresh views which are derived from shared data that are distributed among multiple sites. When a base data item changes, all derived views ...
161
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 4 months ago
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
102
Voted
SIAMAM
2000
15 years 2 months ago
2000
Invasions in oscillatory systems generate in their wake spatiotemporal oscillations, consisting of either periodic wavetrains or irregular oscillations that appear to be spatiotemp...
115
Voted
ACL
2010
15 years 17 days ago
2010
A number of results in the study of realtime sentence comprehension have been explained by computational models as resulting from the rational use of probabilistic linguistic info...
161
Voted
SIGIR
2011
ACM
14 years 5 months ago
2011
ACM
We study how to best use crowdsourced relevance judgments learning to rank [1, 7]. We integrate two lines of prior work: unreliable crowd-based binary annotation for binary classi...