Find link

language:

Find link is a tool written by Edward Betts.

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

alternate case: international Conference on Computer-Aided Design

Farinaz Koushanfar (564 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,680 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"

Signal transition graphs (3,719 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,496 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

Rivka Oxman (1,067 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

Placement (electronic design automation) (1,991 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,

Conflict-driven clause learning (1,346 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

Boolean network (2,819 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

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,717 words) [view diff] exact match in snippet view article find links to article

formal verification of sequential circuits" (PDF). International Conference on Computer-Aided Design. IEEE Comput. Soc. Press: 126–129. doi:10.1109/ICCAD

Nanoelectromechanical relay (1,698 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. pp. 750–757. ISBN 9781424428205. Retrieved 29 October

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

283880. 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,218 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,523 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 (2,951 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,271 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. ISBN 979-8-3503-2225-5. "10th

Zero-suppressed decision diagram (3,601 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,646 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,260 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.;

MLIR (software) (2,431 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

Clique problem (9,876 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, S2CID 12258606

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

Potential applications of carbon nanotubes (15,064 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.