1875 search results - page 163 / 375 » A Calculus of Broadcasting Systems |
166
click to vote
JAPLL
2007
15 years 7 months ago
2007
Starting off from the infinitary system for common knowledge over multi-modal epistemic logic presented in Alberucci and J¨ager [1], we apply the finite model property to “...
190
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
High-performance multiprocessor systems built around out-of-order processors with aggressive branch predictors execute many memory references that turn out to be on a mispredicted...
163
click to vote
JPDC
2007
15 years 7 months ago
2007
The core of current-generation high-performance multiprocessor systems is out-of-order execution processors with aggressive branch prediction. Despite their relatively high branch...
208
click to vote
MOBISYS
2004
ACM
16 years 6 months ago
2004
ACM
Wireless data broadcast has received a lot of attention from industries and academia in recent years. Access efficiency and energy conservation are two critical performance concer...
201
Voted
SIGOPSE
2004
ACM
16 years 13 days ago
2004
ACM
We propose the Firecracker protocol for data dissemination in wireless sensor networks. Firecracker uses a combination of routing and broadcasts to rapidly deliver a piece of data...