13489 search results - page 184 / 2698 » Self-migration of operating systems |
182
click to vote
CCECE
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper is concerned with asymptotic observability and stabilizability of dynamical systems over communication channels subject to limited transmission capacity constraint and ...
169
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
J-DOS provides and integrated JAVA environment for the execution of a program across an interconnected network of heterogeneous computers. The system provides a file system, shar...
211
click to vote
SASP
2008
IEEE
16 years 28 days ago
2008
IEEE
Different approaches have been proposed over the years for automatically transforming High-Level-Languages (HLL) descriptions of applications into custom hardware implementations. ...
318
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...