Sciweavers

4463 search results - page 452 / 893
» computing 2000
Sort
View
IPPS
2000
IEEE
15 years 11 months ago
Automatic Implementation of Distributed Systems Formal Specifications
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance,...
Luiz Henrique Castelo Branco, Antônio Franci...
IPPS
2000
IEEE
15 years 11 months ago
Complexity Bounds for Lookup Table Implementation of Factored Forms in FPGA Technology Mapping
We consider technology mapping from factored form binary leaf-DAG to lookup tables LUTs, such as those found in eld programmable gate arrays. Polynomial time algorithms exist f...
Wenyi Feng, Fred J. Meyer, Fabrizio Lombardi
PG
2000
IEEE
15 years 11 months ago
A New Paradigm for Changing Topology during Subdivision Modeling
In this paper, we present a new paradigm that allows dynamically changing the topology of 2-manifold polygonal meshes. Our new paradigm always guarantees topological consistency o...
Ergun Akleman, Vinod Srinivasan, Jianer Chen
PG
2000
IEEE
15 years 11 months ago
Rendering Iridescent Colors Appearing on Natural Objects
Iridescent colors appearing on natural objects, such as the feathers of a hummingbird, surfaces inside seashells, and shells of beetles, are beautiful and impressive. The cause of...
Hideki Hirayama, Yoshiki Yamaji, Kazufumi Kaneda, ...
PG
2000
IEEE
15 years 11 months ago
Interpolating and Approximating Moving Frames Using B-splines
The representation of moving geometry entities is an important issue in the fields of CAD/CAM and robotics motion design. We present a method to interpolate the moving frame homog...
Lizhuang Ma, Tony K. Y. Chan, Zhongding Jiang