Sciweavers

117 search results - page 12 / 24
» Memory accounting without partitions
Sort
View
116
Voted
EMSOFT
2007
Springer
15 years 5 months ago
Verification of device drivers and intelligent controllers: a case study
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
David Monniaux
161
Voted
INFOCOM
2007
IEEE
15 years 8 months ago
TriBiCa: Trie Bitmap Content Analyzer for High-Speed Network Intrusion Detection
Abstract—Deep packet inspection (DPI) is often used in network intrusion detection and prevention systems (NIDPS), where incoming packet payloads are compared against known attac...
N. Sertac Artan, H. Jonathan Chao
ICCD
2006
IEEE
125views Hardware» more  ICCD 2006»
15 years 10 months ago
Partial Functional Manipulation Based Wirelength Minimization
—In-place flipping of rectangular blocks/cells can potentially reduce the wirelength of a floorplan/placement solution without changing the chip area, In a recent work [Hao 05], ...
Avijit Dutta, David Z. Pan
ICPP
2000
IEEE
15 years 6 months ago
A Parallel Architecture for Quadtree-based Fractal Image Coding
This paper proposes a parallel architecture for quadtreebased fractal image coding. This architecture is capable of performing the fractal image coding based on quadtree partition...
Shinhaeng Lee, Shinichiro Omachi, Hirotomo Aso
ICCAD
2008
IEEE
140views Hardware» more  ICCAD 2008»
15 years 10 months ago
To SAT or not to SAT: Ashenhurst decomposition in a large scale
Functional decomposition is a fundamental operation in logic synthesis. Prior BDD-based approaches to functional decomposition suffer from the memory explosion problem and do not...
Hsuan-Po Lin, Jie-Hong Roland Jiang, Ruei-Rung Lee