571 search results - page 92 / 115 » A principled approach to operating system construction in Ha... |
117
click to vote
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
With the amount of data in current data warehouse databases growing steadily, random sampling is continuously gaining in importance. In particular, interactive analyses of large d...
DAGSTUHL
2001
15 years 2 months ago
2001
Visualization of an algorithm offers only a rough picture of operations. Explanations are crucial for deeper understanding, because they help the viewer to associate the visualiza...
113
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
151
click to vote
GRAPHICSINTERFACE
2011
14 years 4 months ago
2011
Multi-display environments (MDEs) connect several displays into a single digital workspace. One of the main problems to be solved in an MDE’s design is how to enable movement of...
WIESS
2000
15 years 2 months ago
2000
As IPC mechanisms become faster, stub-code efficiency becomes a performance issue for local client/server RPCs and inter-component communication. Inefficient and unnecessary compl...