Sciweavers

page 234 / 60054

» publications

162

DATE
2004
IEEE

118views Hardware» more DATE 2004»

Model Order Reduction Techniques for Linear Systems with Large Numbers of Terminals

15 years 10 months ago

Model Order Reduction Techniques for Linear Systems with Large Numbers of Terminals

Download www.tauworkshop.com

Peter Feldmann

claim paper

Read More »

117

CAV
2006
Springer

72views Hardware» more CAV 2006»

Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs

15 years 10 months ago

Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs

Download www.wisdom.weizmann.ac.il

David Harel

claim paper

Read More »

139

DSD
2004
IEEE

96views Hardware» more DSD 2004»

Design Methodology Innovations Address Manufacturing Technology Challenges: Power and Performance

15 years 10 months ago

Design Methodology Innovations Address Manufacturing Technology Challenges: Power and Performance

Download www.ics.ele.tue.nl

Ulf Schlichtmann

claim paper

Read More »

294

CGO
2006
IEEE

284views Software Engineering» more CGO 2006»

Corporate Sponsors

15 years 10 months ago

Corporate Sponsors

Download www.quiltersunlimited.org

claim paper

Read More »

131

CHES
2006
Springer

84views Cryptology» more CHES 2006»

Integer Factoring Utilizing PC Cluster

15 years 10 months ago

Integer Factoring Utilizing PC Cluster

Download www.iacr.org

Kazumaro Aoki

claim paper

Read More »

« Prev « First page 234 / 60054 Last » Next »