8 search results - page 2 / 2 » Universal dynamic synchronous self-stabilization |
229
Voted
POPL
2004
ACM
16 years 4 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
119
Voted
CIE
2005
Springer
15 years 9 months ago
2005
Springer
geometrical computation: Turing-computing ability and undecidability J´erˆome Durand-Lose Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P...
124
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
With the shrinking of transistors continuing to follow Moore's Law and the non-scalability of conventional outof-order processors, multi-core systems are becoming the design ...