نتایج جستجو برای: statically methods
تعداد نتایج: 1879839 فیلتر نتایج به سال:
We present a type-based approach to statically derive symbolic closed-form formulae that characterize the bounds of heap memory usages of programs written in object-oriented languages. Given a program with size and alias annotations, our inference system will compute the amount of memory required by the methods to execute successfully as well as the amount of memory released when methods return...
We consider finite element methods based on simplices to solve the problem of nearly incompressible elasticity. Two different approaches based respectively on dual meshes and dual bases are presented, where in both approaches pressure is discontinuous and can be statically condensed out from the system. These novel approaches lead to displacement-based low order finite element methods for nearl...
An in-vivo approach to the measurement of three-dimensional motion patterns of carpal bones in the wrist may have future diagnostic applications, particularly for ligament injuries of the wrist. Static methods to measure carpal kinematics in-vivo only provide an approximation of the true kinematics of the carpal bones. This study is aimed at finding the difference between dynamically and static...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید