246 search results - page 26 / 50 » Simple But Effective Techniques for NUMA Memory Management |
BTW
2005
Springer
14 years 2 months ago
2005
Springer
Abstract: An effective processing and analysis of data streams is of utmost importance for a plethora of emerging applications like network monitoring, traffic management, and fi...
FM
2009
Springer
14 years 3 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
ATAL
2006
Springer
14 years 11 days ago
2006
Springer
In this paper, we propose a new integration approach for simulation and behaviour in the learning context that is able to coherently manage the shared virtual environment for the ...
ESWA
2010
13 years 7 months ago
2010
Radio Frequency Identification (RFID) has recently received a lot of attention as an augmentation and interface technology with physical and virtual objects in the ubiquitous comp...
IWMM
2007
Springer
14 years 2 months ago
2007
Springer
In this work, we present accordion arrays, a straightforward and effective memory compression technique targeting Unicode-based character arrays. In many non-numeric Java programs...