1953 search results - page 190 / 391 » codes 2010 |
173
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—It is widely recognized that differential decode-andforward (DDF) cooperative transmission scheme is capable of providing a superior performance compared to classic dire...
134
click to vote
ENTCS
2007
15 years 6 months ago
2007
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
178
click to vote
MASS
2010
15 years 4 months ago
2010
We present an integrated approach for supporting in-network sensor data processing in dynamic and heterogeneous sensor networks. The concept relies on data stream processing techni...
170
click to vote
NAR
2010
15 years 28 days ago
2010
The backbone bond lengths, bond angles, and planarity of a protein are influenced by the backbone conformation (u,w), but no tool exists to explore these relationships, leaving th...
154
click to vote
CACM
2010
15 years 6 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...