نتایج جستجو برای: inductive feedback

تعداد نتایج: 168548  

2011
Hyogi Seo Seungwoo Seo Jongwon Yun Jae-Sung Rieh

This paper presents a 144 GHz divide-by-2 injection locked frequency divider (ILFD) with inductive feedback developed in a commercial 90-nm Si RFCMOS technology. It was demonstrated that division-by-2 operation is achieved with input power down to -12 dBm, with measured locking range of 0.96 GHz (144.18 – 145.14 GHz) at input power of -3 dBm. To the authors’ best knowledge, this is the highest ...

Journal: :ACM SIGART Bulletin 1994

Journal: :Annals of Pure and Applied Logic 2004

Journal: :Information and Computation 1988

Journal: :International Journal of Mathematics and Mathematical Sciences 1990

Journal: :Proceedings of the ACM on programming languages 2023

Inductive relations offer a powerful and expressive way of writing program specifications while facilitating compositional reasoning. Their widespread use by proof assistant users has made them particularly attractive target for engineering tools such as QuickChick, property-based testing tool Coq which can automatically derive generators values satisfying an inductive relation. However, are ge...

Journal: :Progress in Informatics 2013

Journal: :Bulletin of the American Mathematical Society 1927

Journal: :Linear Algebra and its Applications 2014

Journal: :The Computer Journal 1994

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید