13489 search results - page 408 / 2698 » Self-migration of operating systems |
185
click to vote
JCIT
2008
15 years 7 months ago
2008
In the recent decades the importance of the information systems (IS) has been steadily growing. Nowadays most of the operations that imply complex manipulations with data and stor...
203
click to vote
TC
2002
15 years 7 months ago
2002
This paper presents a novel number system based on signed continuous valued digits. Arithmetic operations in this number system are performed using simple analog circuitry, in con...
183
click to vote
FSTTCS
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
214
click to vote
ICFEM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
205
click to vote
VLSID
1999
IEEE
15 years 12 months ago
1999
IEEE
This paper describes the system design of a lowpower wireless camera. A system level approach is used to reduce energy dissipation and maximize battery lifetime. System properties...