1410 search results - page 190 / 282 » A Logic for Virtual Memory |
160
click to vote
LICS
2009
IEEE
16 years 24 days ago
2009
IEEE
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
138
click to vote
EMSOFT
2009
Springer
16 years 22 days ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
162
click to vote
RECONFIG
2008
IEEE
16 years 16 days ago
2008
IEEE
—We present algorithms for implementing large-scale regular expression matching (REM) on FPGA. Based on the proposed algorithms, we develop tools that first transform regular ex...
188
click to vote
RTCSA
2008
IEEE
16 years 16 days ago
2008
IEEE
The demand for real-time data services in embedded systems is increasing. In these new computing platforms, using traditional buffer management schemes, whose goal is to minimize ...
145
click to vote
ICNSC
2007
IEEE
16 years 14 days ago
2007
IEEE
— Flow level measurements are used to provide insights into the traffic flow crossing a network link. However, existing flow based network detection devices lack adaptive reconfi...