2468 search results - page 381 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
142
Voted
SIAMCO
2010
15 years 2 months ago
2010
Abstract. The problem of reliably transmitting a real-valued random vector through a digital noisy channel is relevant for the design of distributed estimation and control techniqu...
127
Voted
VLSI
2010
Springer
14 years 10 months ago
2010
Springer
Electro-Magnetic Analysis has been identified as an efficient technique to retrieve the secret key of cryptographic algorithms. Although similar mathematically speaking, Power or E...
137
Voted
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
We describe efficient techniques for construction of large term co-occurrence graphs, and investigate an application to the discovery of numerous fine-grained (specific) topics. A...
138
Voted
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
In regular inference, the problem is to infer a regular language, typically represented by a deterministic finite automaton (DFA) from answers to a finite set of membership querie...
124
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Among related synchronous programming principles, the model of computation of the Polychrony workbench stands out by its capability to give high-level description of systems where...