3552 search results - page 614 / 711 » Proof theory in the abstract |
163
click to vote
DNA
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Laboratory investigations have shown that a formal theory of fault-tolerance will be essential to harness nanoscale self-assembly as a medium of computation. Several rese...
156
click to vote
FC
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. This paper analyzes the threat of distributed attacks by developing a two-sided multiplayer model of security in which attackers aim to deny service and defenders strateg...
186
click to vote
FM
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
178
click to vote
GECCO
2009
Springer
16 years 29 days ago
2009
Springer
Problems such as the design of distributed controllers are characterized by modularity and symmetry. However, the symmetries useful for solving them are often difficult to determ...
155
click to vote
ISAAC
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. In a multicore transactional memory (TM) system, concurrent execution threads interact and interfere with each other through shared memory. The less interference a progra...