138 search results - page 1 / 28 » Self-stabilization Preserving Compiler |
SSS
2005
Springer
14 years 27 days ago
2005
Springer
This work presents several approaches for designing the memory management component of self stabilizing operating systems. We state the requirements which a memory manager should ...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
CC
2003
Springer
14 years 20 days ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
IFIP
2005
Springer
14 years 28 days ago
2005
Springer
SSS
2005
Springer
14 years 27 days ago
2005
Springer
