Sciweavers

6111 search results - page 48 / 1223
» Time, Hardware, and Uniformity
Sort
View
ASPDAC
2007
ACM
91views Hardware» more  ASPDAC 2007»
15 years 3 months ago
A Timing-Driven Algorithm for Leakage Reduction in MTCMOS FPGAs
Hassan Hassan, Mohab Anis, Mohamed I. Elmasry
ASPDAC
2007
ACM
88views Hardware» more  ASPDAC 2007»
15 years 3 months ago
A Run-Time Memory Protection Methodology
Udaya Seshua, Nagaraju Bussa, Bart Vermeulen
ATVA
2007
Springer
98views Hardware» more  ATVA 2007»
15 years 3 months ago
Model Checking Bounded Prioritized Time Petri Nets
Bernard Berthomieu, Florent Peres, François...
SAT
2010
Springer
161views Hardware» more  SAT 2010»
15 years 3 months ago
On Moderately Exponential Time for SAT
Evgeny Dantsin, Alexander Wolpert