Find link

language:

Find link is a tool written by Edward Betts.

searching for International Conference on Computer-Aided Design 28 found (65 total)

alternate case: international Conference on Computer-Aided Design

Farinaz Koushanfar (607 words) [view diff] no match in snippet view article find links to article

Retrospective Most Influential Paper Award in 2017 at the International Conference on Computer Aided Design. She was named a Presidential Early Career Award for

GRASP (SAT solver) (80 words) [view diff] exact match in snippet view article

Search Algorithm for Satisfiability". Digest of IEEE International Conference on Computer-Aided Design (ICCAD). pp. 220–227. CiteSeerX 10.1.1.49.2075. doi:10

Floorplan (microelectronics) (502 words) [view diff] exact match in snippet view article

"Transforming an arbitrary floorplan into a sliceable one", Proc. 1993 IEEE/ACM International Conference on Computer-Aided Design (ICCAD-93), pp. 386-389.

Algebraic decision diagram (429 words) [view diff] no match in snippet view article find links to article

diagrams and their applications". Proceedings of 1993 International Conference on Computer Aided Design (ICCAD). IEEE Comput. Soc. Press. pp. 188–191. doi:10

Stochastic computing (2,686 words) [view diff] exact match in snippet view article find links to article

stochastic computation". Proceedings of the 35th International Conference on Computer-Aided Design. New York, NY, USA: ACM. pp. 1–8. doi:10.1145/2966986

Atom (programming language) (429 words) [view diff] no match in snippet view article

of Operation-Centric Hardware Descriptions (PDF). International Conference on Computer Aided Design (ICCAD). "Controlling Hybrid Vehicles with Haskell"

Rivka Oxman (1,071 words) [view diff] no match in snippet view article find links to article

Portugal "The New Structuralism" (2011) in CAAD, the International Conference on Computer Aided Design in Architecture, Liege, Belgium "The New Structuralism

Signal transition graphs (3,883 words) [view diff] case mismatch in snippet view article find links to article

transition systems". Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design - ICCAD '98. San Jose, California, United States:

Clique (graph theory) (2,501 words) [view diff] exact match in snippet view article

for combinational circuits", Proc. 1998 IEEE/ACM International Conference on Computer-Aided Design, pp. 283–289, doi:10.1145/288548.288615, ISBN 978-1581130089

Placement (electronic design automation) (1,994 words) [view diff] exact match in snippet view article

Large-Scale Analytical Placer". Proceedings of the International Conference on Computer-Aided Design. pp. 891–898. T.-C. Chen, Z.-W. Jiang, T.-C. Hsu,

Retiming (919 words) [view diff] exact match in snippet view article find links to article

retiming under setup and hold constraints , IEEE/ACM International Conference on Computer-Aided Design, 1998. Leiserson, 1C. E.; Saxe, J. B. (1983). "Optimizing

Model checking (2,788 words) [view diff] exact match in snippet view article find links to article

verification of sequential circuits" (PDF). 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers. IEEE Comput. Soc. Press

Boolean network (2,831 words) [view diff] exact match in snippet view article find links to article

Networks: Analysis and Applications, in "Proceedings of International Conference on Computer-Aided Design", pages 479-484. Analysis of Dynamic Algebraic Models

Nanoelectromechanical relay (1,700 words) [view diff] exact match in snippet view article find links to article

Relays". ICCAD '08 Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design. IEEE Press. pp. 750–757. ISBN 9781424428205. Retrieved

High-level synthesis (2,285 words) [view diff] exact match in snippet view article find links to article

ISBN 0-7803-9782-7. Zhang, Zhiru; Liu, Bin (2013). 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (PDF). IEEE. pp. 211–218. ISBN 978-1-4799-1071-7

X + Y sorting (3,224 words) [view diff] exact match in snippet view article find links to article

minimizing channel density by lateral shifting". IEEE International Conference on Computer-Aided Design. pp. 123–124. As cited by Johnson, David S.; LaPaugh

Dynamic range (4,521 words) [view diff] no match in snippet view article find links to article

range estimation for nonlinear systems". IEEE/ACM International Conference on Computer Aided Design, 2004. ICCAD-2004. pp. 660–667. doi:10.1109/iccad

Widest path problem (3,017 words) [view diff] exact match in snippet view article find links to article

identifying dominant-edge metabolic pathways", IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2009), pp. 144–150 Ahuja, Ravindra K.; Magnanti

Affine arithmetic (2,588 words) [view diff] no match in snippet view article find links to article

methods using affine arithmetic". Proc. ICCAD-2002 — International Conference on Computer Aided Design, 486–489. F. Messine (2002), "Extensions of affine

Conformal prediction (2,318 words) [view diff] no match in snippet view article find links to article

Evolving Hardware Trojan Detection". 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD). pp. 01–09. arXiv:2312.00009. doi:10.1109/ICCAD57390

Conflict-driven clause learning (2,467 words) [view diff] exact match in snippet view article find links to article

Search Algorithm for Satisfiability". Digest of IEEE International Conference on Computer-Aided Design (ICCAD). pp. 220–227. CiteSeerX 10.1.1.49.2075. doi:10

Zero-suppressed decision diagram (3,658 words) [view diff] no match in snippet view article find links to article

technologies for formal verification". Proceedings of IEEE International Conference on Computer Aided Design (ICCAD). pp. 236–243. doi:10.1109/ICCAD.1995.480018

IEEE Rebooting Computing (4,624 words) [view diff] exact match in snippet view article find links to article

Challenge" (PDF). ICCAD '15 Proceedings of the IEEE/ACM International Conference on Computer-Aided Design. Association for Computing Machinery: 927–932.

Resilient control systems (4,263 words) [view diff] exact match in snippet view article find links to article

Resilience in Computer Systems and Networks, IEEE/ACM International Conference on Computer-Aided Design-Digest of Technical Papers, pp. 74–77 Wang, F.Y.;

Clique problem (9,905 words) [view diff] exact match in snippet view article find links to article

for combinational circuits", Proc. 1998 IEEE/ACM International Conference on Computer-Aided Design, pp. 283–289, doi:10.1145/288548.288615, ISBN 1-58113-008-2

Resolution proof reduction via local context rewriting (1,086 words) [view diff] exact match in snippet view article find links to article

Interpolation with Local Proof Transformations". The International Conference on Computer-Aided Design, 2010. Bar-Ilan, O.; Fuhrmann, O.; Hoory, S.; Shacham

MLIR (software) (2,465 words) [view diff] exact match in snippet view article

Hardware Acceleration". Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design. Association for Computing Machinery. pp. 1–9. doi:10

Potential applications of carbon nanotubes (15,608 words) [view diff] exact match in snippet view article find links to article

interconnects for VLSI applications". ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. p. 383. doi:10.1109/ICCAD.2005.1560098.