9888 search results - page 1855 / 1978 » compute 2009 |
116
Voted
RTSS
2009
IEEE
15 years 7 months ago
2009
IEEE
—Real-time detection is an important requirement of many mission-critical wireless sensor network applications such as battlefield monitoring and security surveillance. Due to t...
116
Voted
RTSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Multi-channel design has received significant attention for low-power wireless networks (LWNs), such as 802.15.4-based wireless sensor networks, due to its potential of...
101
Voted
RTSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—The functional consolidation induced by the costreduction trends in embedded systems can force tasks of different criticality (e.g. ABS Brakes with DVD) to share a proce...
105
Voted
WOLLIC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
113
Voted
LATIN
2010
Springer
14 years 11 months ago
2010
Springer
A predicate P : {−1, 1}k → {0, 1} can be associated with a constraint satisfaction problem Max CSP(P). P is called “approximation resistant” if Max CSP(P) cannot be approxi...