2736 search results - page 213 / 548 » Implementable allocation rules |
182
click to vote
NFM
2011
15 years 1 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
190
click to vote
HPCA
2012
IEEE
14 years 2 months ago
2012
IEEE
Conventional out-of-order processors that use a unified physical register file allocate and reclaim registers explicitly using a free list that operates as a circular queue. We ...
152
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper presents a new interaction technique for camera-enabled mobile devices. The handheld device can be used for writing just by moving the device. In our method, interframe...
163
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
The Scanning N-Tuple classifier (SNT) is a fast and accurate method for classifying sequences. Applications include both on-line and off-line hand-written character recognition. S...
149
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
In this paper, we investigate the advantages and weaknesses of various decision fusion schemes using statistical and rule-based reasoning. The cooperation schemes are applied on t...