13489 search results - page 218 / 2698 » Self-migration of operating systems |
171
click to vote
ADAEUROPE
2008
Springer
16 years 1 months 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...
184
click to vote
ATAL
2005
Springer
16 years 21 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...
211
click to vote
PPDP
2004
Springer
16 years 15 days 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 ...
232
click to vote
EUROSYS
2006
ACM
16 years 4 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 ...