1875 search results - page 163 / 375 » A Calculus of Broadcasting Systems |
117
click to vote
JAPLL
2007
15 years 3 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 “...
129
click to vote
IPPS
2006
IEEE
15 years 9 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...
114
click to vote
JPDC
2007
15 years 3 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...
149
Voted
MOBISYS
2004
ACM
16 years 3 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...
124
click to vote
SIGOPSE
2004
ACM
15 years 9 months 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...