Search Sciweavers | Sciweavers

32117 search results - page 299 / 6424

» Design for Unanticipated Use..

148

click to vote

IJACTAICIT
2010

95views more IJACTAICIT 2010»

Expert System Design of Two Electrostatic Lenses Column by Mixing Dynamic Programming and AI Techniques

15 years 4 months ago

Download www.aicit.org

This paper have shown an expert system design by using optimization methods for the Focused ion beam FIB optical system, by mixing the dynamic programming procedure and artificial...

Fadhil A. Ali

claim paper

Read More »

108

click to vote

DAC
1998
ACM

162views Computer Architecture» more DAC 1998»

A Multiprocessor DSP System Using PADDI-2

16 years 7 months ago

Download bwrc.eecs.berkeley.edu

Roy A. Sutton, Vason P. Srini, Jan M. Rabaey

claim paper

Read More »

125

click to vote

DAC
1999
ACM

128views Computer Architecture» more DAC 1999»

Symbolic Model Checking Using SAT Procedures instead of BDDs

16 years 7 months ago

Download reports-archive.adm.cs.cmu.edu

Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...

claim paper

Read More »

136

click to vote

DAC
1999
ACM

131views Computer Architecture» more DAC 1999»

Verification of a Microprocessor Using Real World Applications

16 years 7 months ago

Download ics.kaist.ac.kr

You-Sung Chang, Seungjong Lee, In-Cheol Park, Chon...

claim paper

Read More »

125

click to vote

DAC
1999
ACM

91views Computer Architecture» more DAC 1999»

Low-Power Behavioral Synthesis Optimization Using Multiple Precision Arithmetic

16 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers