16216 search results - page 2943 / 3244 » Effective Modeling with Constraints |
158
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Buffered coscheduling is a scheduling methodology for time-sharing communicating processes in parallel and distributed systems. The methodology has two primary features: communica...
166
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
154
click to vote
VISUALIZATION
2000
IEEE
15 years 11 months ago
2000
IEEE
We present an immersive system for exploring numerically simulated flow data through a model of a coronary artery graft. This tightly-coupled interdisciplinary project is aimed a...
181
click to vote
VR
2000
IEEE
15 years 11 months ago
2000
IEEE
Projection-based visual display systems are expected to be effective platforms for VR applications, in which the displayed images are generated by computer graphics using three-di...
194
click to vote
VTS
2000
IEEE
15 years 11 months ago
2000
IEEE
The performance of deep sub-micron designs can be affected by various parametric variations, manufacturing defects, noise or even modeling errors that are all statistical in natur...