Sciweavers

21437 search results - page 27 / 4288

» Hardware

135

Voted

CAV
2006
Springer

72views Hardware» more CAV 2006»

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

15 years 11 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 »

163

Voted

DSD
2004
IEEE

96views Hardware» more DSD 2004»

Design Methodology Innovations Address Manufacturing Technology Challenges: Power and Performance

15 years 11 months ago

Design Methodology Innovations Address Manufacturing Technology Challenges: Power and Performance

Download www.ics.ele.tue.nl

Ulf Schlichtmann

claim paper

Read More »

137

EH
2004
IEEE

105views Hardware» more EH 2004»

15 years 11 months ago

Download www.sloughbaptistchurch.org.uk

claim paper

Read More »

179

FPL
2006
Springer

121views Hardware» more FPL 2006»

Evaluation and Design of Processor-Like Reconfigurable Architectures

15 years 11 months ago

Evaluation and Design of Processor-Like Reconfigurable Architectures

Download www-ti.informatik.uni-tuebingen.de

Tobias Oppold

claim paper

Read More »

160

Voted

ACSD
2001
IEEE

103views Hardware» more ACSD 2001»

Abstracting from Failure Probabilities

15 years 11 months ago

Abstracting from Failure Probabilities

Download wwwbroy.informatik.tu-muenchen.de

Jan Jürjens

claim paper

Read More »

« Prev « First page 27 / 4288 Last » Next »