3128 search results - page 213 / 626 » Finite element method |
146
click to vote
ISMS
2004
Springer
15 years 9 months ago
2004
Springer
A 3D biomechanical model of the tongue is presented here. Its goal is to evaluate the speech control model. This model was designed considering three constraints: speech movement s...
123
click to vote
IMR
2003
Springer
15 years 9 months ago
2003
Springer
In this study, an automated adaptive mesh control scheme, based on local mesh modifications, is developed for the finite element simulations of 3D metal forming processes. Error i...
157
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
Clock skew scheduling is a technique that intentionally introduces skews to memory elements to improve the performance of a sequential circuit. It was shown in [21] that the full ...
133
click to vote
FCT
2007
Springer
15 years 8 months ago
2007
Springer
We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called `productive' if it can be evaluated ...
126
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...