Sciweavers

1840 search results - page 9 / 368

» time 2002

20

DMTCS
2002

80views Mathematics» more DMTCS 2002»

Synthesis Of Space-Time Optimal Systolic Algorithms For The Cholesky Factorization

13 years 7 months ago

Synthesis Of Space-Time Optimal Systolic Algorithms For The Cholesky Factorization

Download www.dmtcs.org

Clémentin Tayou Djamégni

claim paper

Read More »

19

DT
2002

90views more DT 2002»

A Hardware-Software Real-Time Operating System Framework for SoCs

13 years 7 months ago

A Hardware-Software Real-Time Operating System Framework for SoCs

Download users.ece.gatech.edu

Vincent John Mooney III, Douglas M. Blough

claim paper

Read More »

12

DT
2002

55views more DT 2002»

Embedded Timing Analysis: A SoC Infrastructure

13 years 7 months ago

Embedded Timing Analysis: A SoC Infrastructure

Download thesis.lib.ncu.edu.tw

Sassan Tabatabaei, André Ivanov

claim paper

Read More »

19

ENTCS
2002

69views more ENTCS 2002»

Modular Synthesis of Timed Circuits using Partial Order Reduction

13 years 7 months ago

Modular Synthesis of Timed Circuits using Partial Order Reduction

Download www.async.ece.utah.edu

Eric Mercer, Chris J. Myers, Tomohiro Yoneda

claim paper

Read More »

19

ENTCS
2002

87views more ENTCS 2002»

Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking

13 years 7 months ago

Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking

Download www.brics.dk

M. Oliver Möller

claim paper

Read More »

« Prev « First page 9 / 368 Last » Next »