451 search results - page 15 / 91 » Relationless Completeness and Separations |
CCE
2004
14 years 9 months ago
2004
Batch time requirements are provided for the separation of ternary heterogeneous azeotropic mixtures into three pure products in closed batch column configurations. The separation...
104
click to vote
ENTCS
2006
14 years 9 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
Misregistration between the color separations of a printed image, which is often inevitable, can cause objectionable color shifts in average color. We analyze the impact of inter-...
ICC
2007
IEEE
15 years 3 months ago
2007
IEEE
—This paper details a novel architecture, MobiSplit [17], for managing mobility in future IP based networks. The architecture separates mobility management in two levels, local a...
CC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Recent work has shown that the subtasks of register allocation (spilling, register assignment, and coalescing) can be completely separated. This work presents an algorith...