Sciweavers

1730 search results - page 97 / 346
» Computer Aided Design Modeling for Heterogeneous Objects
Sort
View
EDO
2000
Springer
15 years 1 months ago
Using Model Checking to Detect Deadlocks in Distributed Object Systems
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
Nima Kaveh
IJPRAI
2010
105views more  IJPRAI 2010»
14 years 7 months ago
An Ontology-Based Model for Representing Image Processing Application Objectives
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...
Régis Clouard, Arnaud Renouf, Marinette Rev...
MASCOTS
2008
14 years 11 months ago
Optimal Layered Multicast with Network Coding: Mathematical Model and Empirical Studies
Abstract--Recent advances in network coding research dramatically changed the underlying structure of optimal multicast routing algorithms and made them efficiently computable. Whi...
Ajay Gopinathan, Zongpeng Li
SMA
2005
ACM
132views Solid Modeling» more  SMA 2005»
15 years 3 months ago
Simplified engineering analysis via medial mesh reduction
Numerous simplification methods have been proposed for speeding up engineering analysis/ simulation. A recently proposed medial axis reduction is one such method, that is particul...
Murari Sinha, Krishnan Suresh
SMA
2003
ACM
132views Solid Modeling» more  SMA 2003»
15 years 3 months ago
Tight cocone: a water-tight surface reconstructor
Surface reconstruction from unorganized sample points is an important problem in computer graphics, computer aided design, medical imaging and solid modeling. Recently a few algor...
Tamal K. Dey, Samrat Goswami