13489 search results - page 218 / 2698 » Self-migration of operating systems |
149
click to vote
ADAEUROPE
2008
Springer
16 years 29 days ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
165
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
The rapid changing business environment of high-tech asset intensive enterprises such as semiconductor manufacturing constantly drives production managers to look for better solut...
194
click to vote
PPDP
2004
Springer
15 years 12 months ago
2004
Springer
We investigate some fundamental properties of the reduction relation in the untyped term calculus derived from Curien and Herbelin’s λµµ. The original λµµ has a system of ...
202
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Peer-to-peer (p2p) technology can potentially be used to build highly reliable applications without a single point of failure. However, most of the existing applications, such as ...