5448 search results - page 266 / 1090 » Breakpoints and Time in Distributed Computations |
202
click to vote
ISORC
2005
IEEE
16 years 5 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
188
click to vote
JSSPP
2005
Springer
16 years 2 days ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...
182
click to vote
EGPGV
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents I/O solutions for the visualization of time-varying volume data in a parallel and distributed computing environment. Depending on the number of rendering proce...
160
click to vote
ECOOPW
2003
Springer
15 years 11 months ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...
196
click to vote
CGF
2008
15 years 6 months ago
2008
We present a method for rendering approximate soft shadows and diffuse indirect illumination in dynamic scenes. The proposed method approximates the original scene geometry with a...