1953 search results - page 260 / 391 » codes 2010 |
151
click to vote
RV
2010
Springer
15 years 2 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
144
click to vote
ACSAC
2010
IEEE
15 years 2 months ago
2010
IEEE
Spread spectrum techniques such as Direct Sequence Spread Spectrum (DSSS) and Frequency Hopping (FH) have been commonly used for anti-jamming wireless communication. However, trad...
155
click to vote
OPODIS
2010
15 years 2 months ago
2010
Paxos is a well known algorithm for achieving consensus in distributed environments with uncertain processing and communication timing. Implementations of its variants have been s...
165
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We present a combinatorial characterization of the Bethe entropy function of a factor graph, such a characterization being in contrast to the original, analytical, definition of th...
114
click to vote
JCNS
2010
14 years 11 months ago
2010
During anesthesia, slow-wave sleep and quiet wakefulness, neuronal membrane potentials collectively switch between de- and hyperpolarized levels, the cortical UP and DOWN states. P...