1901 search results - page 264 / 381 » Predicting Program Properties from |
129
click to vote
SAFECOMP
2004
Springer
15 years 8 months ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...
72
Voted
ITC
2003
IEEE
15 years 8 months ago
2003
IEEE
— Being able to test the intrinsic performance of a device under test (DUT) has always been the main goal of a test engineer. Achieving this goal is becoming increasingly diffic...
148
Voted
PG
2002
IEEE
15 years 7 months ago
2002
IEEE
Densely-sampled image representations such as the light field or Lumigraph have been effective in enabling photorealistic image synthesis. Unfortunately, lighting interpolation w...
128
click to vote
VISUALIZATION
2002
IEEE
15 years 7 months ago
2002
IEEE
The Gauss map projects surface normals to a unit sphere, providing a powerful visualization of the geometry of a graphical object. It can be used to predict visual events caused b...
110
click to vote
ICC
1997
IEEE
15 years 7 months ago
1997
IEEE
Real measurements in high-speed communications networks have recently shown that traffic may demonstrate properties of long-range dependency peculiar to self-similar stochastic pr...