Sciweavers

277 search results - page 29 / 56
» Modeling by Form Transformation for End-User Initiative Deve...
Sort
View
IESS
2007
Springer
92views Hardware» more  IESS 2007»
15 years 9 months ago
An Interactive Model Re-Coder for Efficient SoC Specification
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...
Pramod Chandraiah, Rainer Dömer
113
Voted
JCP
2006
100views more  JCP 2006»
15 years 3 months ago
A Local Enumeration Protocol in Spite of Corrupted Data
We present a novel self-stabilizing version of Mazurkiewicz enumeration algorithm [1]. The initial version is based on local rules to enumerate nodes on an anonymous network. [2] p...
Brahim Hamid, Mohamed Mosbah
116
Voted
FIMH
2003
Springer
15 years 8 months ago
Spatio-temporal Alignment of 4D Cardiac MR Images
Abstract. A 4D registration method for the spatio-temporal alignment of cardiac MR image sequences has been developed. The registration algorithm has the ability not only to correc...
Dimitrios Perperidis, Anil Rao, Maria Lorenzo-Vald...
123
Voted
CGF
1998
104views more  CGF 1998»
15 years 3 months ago
Animation of Biological Organ Growth Based on L-systems
In contrast with the growth of plants and trees, human organs can undergo signi cant changes in shape through a variety of global transformations during the growth period, such as...
Roman Durikovic, Kazufumi Kaneda, Hideo Yamashita
147
Voted
SCESM
2006
ACM
262views Algorithms» more  SCESM 2006»
15 years 9 months ago
Scenario-driven modeling and validation of requirements models
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
Christian Seybold, Silvio Meier, Martin Glinz