18429 search results - page 319 / 3686 » Typing dynamic typing |
186
click to vote
ACNS
2010
Springer
15 years 11 months ago
2010
Springer
To this day, realizations in the standard-model of (lossy) trapdoor functions from discrete-log-type assumptions require large public key sizes, e.g., about Θ(λ2 ) group elements...
213
click to vote
ADAEUROPE
2010
Springer
15 years 11 months ago
2010
Springer
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...
143
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
A useful theorem of Kuˇcera states that given a Martin-L¨of random infinite binary sequence ω and an effectively open set A of measure less than 1, some tail of ω is not in A...
161
Voted
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Asynchronous automata are parallel compositions of finitestate processes synchronizing over shared variables. A deep theorem due to Zielonka says that every regular trac...
141
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We characterize the stability and achievable performance of networked estimation under correlated packet losses described by the Gilbert-Elliot model. For scalar contin...