924 search results - page 131 / 185 » Teaching simulation using case studies |
106
click to vote
ECRTS
2004
IEEE
15 years 3 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 ...
126
click to vote
FMOODS
2007
2007
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
15 years 1 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...
SIAMAM
2000
14 years 11 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...
ACL
2010
14 years 10 months 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...
129
click to vote
SIGIR
2011
ACM
14 years 2 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...