21 search results - page 3 / 5 » Strong Normalization as Safe Interaction |
ALIFE
2005
13 years 6 months ago
2005
Hierarchical modularity is a familiar characteristic of a large class of natural dynamical systems. A normal interpretation of modularity is that interactions between subsystems a...
IGARSS
2009
13 years 4 months ago
2009
The ability of the active microwave remote sensing to complement existing optical vegetation indices has been explored by variety of studies [1-4]. To demonstrate these complement...
ICDCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Byzantine quorum systems have been proposed that work properly even when up to f replicas fail arbitrarily. However, these systems are not so successful when confronted with Byzan...
VEE
2005
ACM
14 years 15 days ago
2005
ACM
We present a new software system architecture for the implementation of hard real-time applications. The core of the system is a microkernel whose reactivity (interrupt handling a...
IWMM
2009
Springer
14 years 1 months ago
2009
Springer
: © Garbage Collection in the Next C++ Standard Hans-J. Boehm, Mike Spertus HP Laboratories HPL-2009-360 C++, garbage collection C++ has traditionally relied on manual memory mana...