Sciweavers

453 search results - page 3 / 91
» date 2006
Sort
View
91
Voted
DATE
2006
IEEE
94views Hardware» more  DATE 2006»
16 years 1 months ago
An integrated scratch-pad allocator for affine and non-affine code
Sumesh Udayakumaran, Rajeev Barua
128
Voted
DATE
2006
IEEE
101views Hardware» more  DATE 2006»
16 years 1 months ago
On the numerical verification of probabilistic rewriting systems
Jounaïdi Ben Hassen, Sofiène Tahar
88
Voted
DATE
2006
IEEE
85views Hardware» more  DATE 2006»
16 years 1 months ago
Strong conflict analysis for propositional satisfiability
HoonSang Jin, Fabio Somenzi