13489 search results - page 2416 / 2698 » Self-migration of operating systems |
149
click to vote
VTC
2006
IEEE
16 years 20 days ago
2006
IEEE
— In this paper we investigate the issues of both initial and post-initial acquisition schemes in the multiple transmit/receive antenna aided DS-CDMA downlink, when communicating...
162
click to vote
AOSD
2006
ACM
16 years 19 days ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
175
click to vote
APLAS
2006
ACM
16 years 19 days ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
183
click to vote
CASES
2006
ACM
16 years 19 days ago
2006
ACM
Previous object code compression schemes have employed static and semiadaptive compression algorithms to reduce the size of instruction memory in embedded systems. The suggestion ...
190
click to vote
IMC
2006
ACM
16 years 19 days ago
2006
ACM
Pattern matching and analysis over network data streams is increasingly becoming an essential primitive of network monitoring systems. It is a fundamental part of most intrusion d...