5314 search results - page 204 / 1063 » Hybrid Dynamic Programming |
150
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the frame problem for programming theories that support both sharing and encapsulation through specification variables. The concept of dynamic frames is introd...
147
click to vote
ISSTA
2009
ACM
16 years 29 days ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
188
click to vote
IV
2000
IEEE
15 years 10 months ago
2000
IEEE
A method of using a moving texture alpha-mask to represent scientific data is described, for the purpose of visualizing continuous fluid dynamics fields. The method combines strea...
186
click to vote
IAJIT
2008
15 years 6 months ago
2008
: We present a new method for real-time rendering of soft shadows in dynamic scenes. Our approach is based on shadow volume algorithm which provides fast, accurate and high quality...
211
click to vote
ISLPED
2006
ACM
16 years 12 days ago
2006
ACM
—Fuel cell (FC) is a viable alternative power source for portable applications; it has higher energy density than traditional Li-ion battery and thus can achieve longer lifetime ...