Sciweavers

7075 search results - page 116 / 1415
» Models and heterogeneous reasoning
Sort
View
GMP
2002
IEEE
103views Solid Modeling» more  GMP 2002»
15 years 8 months ago
Slicing and Contours Generation for Fabricating Heterogeneous Objects
A contour sub-division algorithm on each layer arising from slicing a heterogeneous object is proposed. Within each slice, the material grading is decomposed into subcontours acco...
Y. K. Siu, S. T. Tan
144
Voted
CASCON
2001
115views Education» more  CASCON 2001»
15 years 5 months ago
Lightweight reasoning about program correctness
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
Marsha Chechik, Wei Ding
ER
1999
Springer
155views Database» more  ER 1999»
15 years 8 months ago
XML-based Components for Federating Multiple Heterogeneous Data Sources
Several federated database systems have been built in the past using the relational or the object model as federating model. This paper gives an overview of the XMLMedia system, a ...
Georges Gardarin, Fei Sha, Tuyet-Tram Dang-Ngoc
128
Voted
INFOCOM
2003
IEEE
15 years 9 months ago
Pricing strategies under heterogeneous service requirements
— This paper analyzes a communication network with heterogeneous customers. We investigate priority queueing as a way to differentiate between these users. Customers join the net...
Michel Mandjes
122
Voted
IPPS
2003
IEEE
15 years 9 months ago
HMPI: Towards a Message-Passing Library for Heterogeneous Networks of Computers
The paper presents Heterogeneous MPI (HMPI), an extension of MPI for programming high-performance computations on heterogeneous networks of computers. It allows the application pr...
Alexey L. Lastovetsky, Ravi Reddy