Sciweavers

6111 search results - page 48 / 1223

» Time, Hardware, and Uniformity

16

ASPDAC
2007
ACM

91views Hardware» more ASPDAC 2007»

A Timing-Driven Algorithm for Leakage Reduction in MTCMOS FPGAs

13 years 11 months ago

A Timing-Driven Algorithm for Leakage Reduction in MTCMOS FPGAs

Download www.aspdac.com

Hassan Hassan, Mohab Anis, Mohamed I. Elmasry

claim paper

Read More »

9

ASPDAC
2007
ACM

88views Hardware» more ASPDAC 2007»

A Run-Time Memory Protection Methodology

13 years 11 months ago

A Run-Time Memory Protection Methodology

Download www.aspdac.com

Udaya Seshua, Nagaraju Bussa, Bart Vermeulen

claim paper

Read More »

24

ATVA
2007
Springer

98views Hardware» more ATVA 2007»

Model Checking Bounded Prioritized Time Petri Nets

13 years 11 months ago

Model Checking Bounded Prioritized Time Petri Nets

Download homepages.laas.fr

Bernard Berthomieu, Florent Peres, François...

claim paper

Read More »

17

SAT
2010
Springer

161views Hardware» more SAT 2010»

On Moderately Exponential Time for SAT

13 years 11 months ago

On Moderately Exponential Time for SAT

Download cs.roosevelt.edu

Evgeny Dantsin, Alexander Wolpert

claim paper

Read More »

24

AICCSA
2006
IEEE

119views Hardware» more AICCSA 2006»

The Indeterministic Behavior of Scoped Memory in Real-Time Java

13 years 11 months ago

The Indeterministic Behavior of Scoped Memory in Real-Time Java

Download dsa-research.com

M. Teresa Higuera-Toledano

claim paper

Read More »

« Prev « First page 48 / 1223 Last » Next »