نتایج جستجو برای: burch number
تعداد نتایج: 1168883 فیلتر نتایج به سال:
In this paper we unify the two subjects of implicitization and parametrization of nonsingular cubic surfaces. Beginning with a cubic parametrization with six basepoints, we first form a three by four Hilbert–Burch matrix, and then a three by three matrix of linear forms whose determinant is the implicit equation. Beginning with an implicit equation, we show how to construct a three by three mat...
Much automatic pipeline verification research of the last decade has been based on some form of “Burch-Dill flushing” [BD94]. In this work, we study synchronization-at-retirement, an alternative formulation of correctness for pipelines. In this formulation, the proof obligations can also be verified automatically but have significantly-reduced verification complexity compared to flushing. We pr...
Bongani M Mayosi ([email protected]) Charles Shey Wiysonge ([email protected]) Mpiko Ntsekhe ([email protected]) Jimmy A Volmink ([email protected]) Freedom Gumedze ([email protected]) Gary Maartens ([email protected]) Akinyemi Aje ([email protected]) Baby M Thomas ([email protected]) Kandathil M Thomas ([email protected]) Abolade A Aw...
abstract previous researches have shown success of growth hormones usage on flower production increase, pod and prevention of abscission of them in some of the pulses. two tests were done, in order to find out the effects of growth hormones to on flower production increase, pod and chick pea yield composites in farmer conditions (2010-11) and green house conditions as factorial on the proje...
Let be a local Cohen-Macaulay ring with infinite residue field, an Cohen - Macaulay module and an ideal of Consider and , respectively, the Rees Algebra and associated graded ring of , and denote by the analytic spread of Burch’s inequality says that and equality holds if is Cohen-Macaulay. Thus, in that case one can compute the depth of associated graded ring of as In this paper we ...
This paper extends Burch and Dill’s pipeline verification method [4] to the bit level. We introduce the idea of memory shadowing, a new technique for providing on-the-fly identical initial memory state to two different memory execution sequences. We also present an algorithm which compares the final states of two memories for equality. Memory shadowing and the comparison algorithm build on the ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید