2642 search results - page 134 / 529 » Merge-by-Wire: Algorithms and System Support |
167
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
129
click to vote
ICML
2003
IEEE
16 years 5 months ago
2003
IEEE
Naive Bayes is often used as a baseline in text classification because it is fast and easy to implement. Its severe assumptions make such efficiency possible but also adversely af...
107
click to vote
HICSS
1994
IEEE
15 years 8 months ago
1994
IEEE
The messiahs project is investigating mechanisms that support task placement in heterogeneous, distributed, autonomous systems. messiahs provides a substrate on which scheduling a...
137
click to vote
ISLPED
2009
ACM
15 years 11 months ago
2009
ACM
Power management has been a critical issue in the design of embedded systems due to the limited power supply. To prolong the lifetime, energy minimization has been studied under p...
165
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Content-based publish/subscribe systems allow matching the content of events with predicates in the subscriptions. However, most existing systems only allow a limited set of opera...