21430 search results - page 351 / 4286 » Abstract Effective Models |
162
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this study the dynamic behaviour of perforated microplates oscillating under the effect of squeeze film damping is analyzed. A numerical approach is adopted to predict the effe...
192
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
174
click to vote
TCAD
2010
15 years 1 months ago
2010
PSP and the backward propagation of variance (BPV) method are used to characterize the statistical variations of metal-oxide-semiconductor field effect transistors (MOSFETs). BPV s...
189
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...