28445 search results - page 428 / 5689 » Anatomically based modeling |
125
Voted
FMCAD
2007
Springer
15 years 7 months ago
2007
Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
144
click to vote
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
132
Voted
3DPVT
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper describes an efficient 3D modeling method from 3D range data-sets that is utilizing range data segmentation. Our algorithm starts with a set of unregistered 3D range sc...
188
click to vote
CC
2008
Springer
15 years 5 months ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
124
click to vote
CBSE
2006
Springer
15 years 5 months ago
2006
Springer
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...