3221 search results - page 431 / 645 » Termination of Linear Programs |
178
click to vote
LICS
2008
IEEE
16 years 26 days ago
2008
IEEE
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
163
click to vote
PIMRC
2008
IEEE
16 years 26 days ago
2008
IEEE
—In this paper, we address the problem of computing the transport capacity of Wireless Mesh Networks dedicated to Internet access. Routing and transmission scheduling have a majo...
178
click to vote
TASE
2008
IEEE
16 years 25 days ago
2008
IEEE
This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...
160
click to vote
CEC
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract— We present a novel algorithm for the onedimension offline bin packing problem with discrete item sizes based on the notion of matching the item-size histogram with the...
180
click to vote
DATE
2007
IEEE
16 years 24 days ago
2007
IEEE
Current day network processors incorporate several architectural features including symmetric multi-processing (SMP), block multi-threading, and multiple memory elements to suppor...