9067 search results - page 1481 / 1814 » Adaptive Model Checking |
198
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
In the reuse domain, the necessity of finding a new, more suitable description language opposes the need to make reuse an accepted practice, and thus related to standards. This pa...
190
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
To investigate short-distance, point-to-point, infrared channels, a test-bench and circuits were constructed to determine the limitations ofexisting optoelectronics. Theresults of...
187
click to vote
PG
1999
IEEE
15 years 11 months ago
1999
IEEE
The objective of this research is to apply the subdivision surface for surface fitting problems when generating surfaces from data points or polyhedral models. The basic idea is t...
197
click to vote
CGI
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes a parallel rendering method based on the adaptive supersampling technique to produce anti-aliased images with minimal memory consumption. Unlike traditional s...
199
click to vote
ISCOPE
1999
Springer
15 years 11 months ago
1999
Springer
SIFFEA is an automated system for parallel nite element method (PFEM) with unstructured meshes on distributed memory machines. It synthesizes mesh generator, mesh partitioner, line...