Sciweavers

396 search results - page 12 / 80
» Designing Components Versus Objects: A Transformational Appr...
Sort
View
IMR
2004
Springer
14 years 1 months ago
Mechanical Criteria for the Preparation of Finite Element Models
The use of CAD in design makes it possible to represent complex components “as manufactured” with a great number of details. A transformation of such models into Finite Elemen...
Gilles Foucault, Philippe M. Marin, Jean-Claude L&...
ICCAD
1997
IEEE
95views Hardware» more  ICCAD 1997»
13 years 11 months ago
An exact solution to simultaneous technology mapping and linear placement problem
In this paper, we present an optimal algorithm for solving the simultaneous technology mapping and linear placement problem for tree-structured circuits with the objective of mini...
Jinan Lou, Amir H. Salek, Massoud Pedram
ISBI
2007
IEEE
14 years 1 months ago
Clustering on Local Appearance for Deformable Model Segmentation
We present a novel local region approach for statistically characterizing appearance in the context of medical image segmentation via deformable models. Our appearance model refl...
Joshua Stough, Robert E. Broadhurst, Stephen M. Pi...
IMR
2004
Springer
14 years 1 months ago
An Evolvable Meshing Tool Through a Flexible Object-Oriented Design
There are many diverse algorithms for generating a first mesh, refining it and improving it. A tool that allows us to interchange these algorithms according to the requirements ...
M. Cecilia Bastarrica, Nancy Hitschfeld-Kahler
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
13 years 5 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem