Sciweavers

3322 search results - page 237 / 665
» Automatic Human Model Generation
Sort
View
ECBS
2004
IEEE
129views Hardware» more  ECBS 2004»
15 years 2 months ago
Closing the Gap Between Software Modelling and Code
If a software implementation is to be generated fully automatically from a model, then the model must be detailed and totally complete. For the definition of software implementing...
Ferdinand Wagner, T. Wagner, Peter Wolstenholme
ICIP
2006
IEEE
16 years 24 days ago
Non-Rigid Registration for Automatic Fracture Segmentation
Automatic segmentation of anatomical structures is often performed using model-based non-rigid registration methods. These algorithms work well when the images do not contain any ...
Johanna Pettersson, Hans Knutsson, Magnus Borga
IPPS
2005
IEEE
15 years 4 months ago
A Compiler and Runtime Infrastructure for Automatic Program Distribution
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...
Roxana Diaconescu, Lei Wang, Zachary Mouri, Matt C...
ISSS
1999
IEEE
168views Hardware» more  ISSS 1999»
15 years 3 months ago
Automatic Architectural Synthesis of VLIW and EPIC Processors
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
Shail Aditya, B. Ramakrishna Rau, Vinod Kathail
CAV
2004
Springer
154views Hardware» more  CAV 2004»
15 years 2 months ago
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qa...