4762 search results - page 325 / 953 » About the use of protein models |
153
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Today, hot embossing and injection molding belong to the established plastic molding processes in microengineering. Based on experimental findings, a variety of microstructures ha...
164
click to vote
ISSE
2010
15 years 5 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
196
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
145
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...
180
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
A hierarchical framework for the recognition of complex deformable shapes is developed. In extension to traditional approaches an additional layer of control is introduced to guid...