نتایج جستجو برای: static analysis

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

Journal: :Electr. Notes Theor. Comput. Sci. 2001
Stavros Tripakis Sergio Yovine

Journal: :Softwaretechnik-Trends 2009
Daniel Kästner Christian Ferdinand Stephan Wilhelm Stefana Nenova Olha Honcharova Patrick Cousot Radhia Cousot Jérôme Feret Laurent Mauborgne Antoine Miné Xavier Rival Élodie-Jane Sims

Interpretation Based Static Analyzers. In

Journal: :IEEE Trans. Software Eng. 2001
Enrico Vicario

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شیراز - دانشکده علوم 1386

چکیده ندارد.

Journal: :The Journal of Logic and Algebraic Programming 2012

2015
Nisvan Erkal Jun Xiao

This paper studies the relationship between optimal award and scarcity of ideas in innovation contests. We consider contests with different distributions of idea qualities and conduct comparative static analysis of optimal – revenue maximizing – awards with respect to the distributions. We find that a distribution with scarcer ideas leads to higher optimal awards if the marginal value of innova...

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

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