1173 search results - page 170 / 235 » Weighted Distributed Systems and Their Logics |
142
click to vote
DEBS
2008
ACM
15 years 2 months ago
2008
ACM
Complex Event Processing is an important technology for information systems with a broad application space ranging from supply chain management, systems monitoring, and stock mark...
114
click to vote
APN
2008
Springer
15 years 2 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
86
Voted
HPCA
2002
IEEE
16 years 1 months ago
2002
IEEE
As the power consumption of modern highperformance microprocessors increases beyond 100W, power becomes an increasingly important design consideration. This paper presents a novel...
100
Voted
ISLPED
2009
ACM
15 years 5 months ago
2009
ACM
We present experimental analysis to exploit the sequence dependence on energy saving in error tolerant image processing. Our analysis shows that the error distributions depend not...
116
Voted
FSKD
2007
Springer
15 years 4 months ago
2007
Springer
The uncertainty may be divides it into two major groups, "objective uncertainty" and "subjective uncertainty". The objective uncertainty has already been exten...