88 search results - page 18 / 18 » A succinct memory model for automated design debugging |
170
click to vote
HIPEAC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Network processors are programmable devices that can process packets at a high speed. A network processor is typified by multithreading and heterogeneous multiprocessing...
175
click to vote
TPHOL
2009
IEEE
16 years 8 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
148
Voted
GIS
2009
ACM
15 years 10 months ago
2009
ACM
Apart from visualization tasks, three-dimensional (3D) data management features are not or only hardly available in current spatial database systems and Geographic Information Sys...