13489 search results - page 132 / 2698 » Self-migration of operating systems |
158
click to vote
LISP
2008
15 years 6 months ago
2008
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
156
click to vote
TOG
2008
15 years 6 months ago
2008
We introduce a new tool to solve the large linear systems arising from gradient-domain image processing. Specifically, we develop a streaming multigrid solver, which needs just tw...
157
click to vote
SAJ
2000
15 years 6 months ago
2000
This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...
173
click to vote
CISS
2011
IEEE
14 years 10 months ago
2011
IEEE
—Signals of interests can often be thought to come from a low dimensional signal model. The exploitation of this fact has led to many recent interesting advances in signal proces...
221
click to vote
ICDCS
2012
IEEE
13 years 8 months ago
2012
IEEE
Operational network data, management data such as customer care call logs and equipment system logs, is a very important source of information for network operators to detect prob...