4894 search results - page 334 / 979 » Dynamic Abstraction Planning |
202
click to vote
VIS
2007
IEEE
16 years 8 months ago
2007
IEEE
Abstract-This paper describes a method for constructing isosurface triangulations of sampled, volumetric, three-dimensional scalar fields. The resulting meshes consist of triangles...
168
click to vote
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
178
click to vote
ATS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—SAT-based ATPG turned out to be a robust alternative to classical structural ATPG algorithms such as FAN. The number of unclassified faults can be significantly reduce...
205
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...
166
click to vote
ICDCN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Much of the data consumed today is dynamic, typically gathered from distributed sources including sensors, and used in real-time monitoring and decision making applicatio...