1675 search results - page 117 / 335 » A Structured Approach to Parallel Programming: Methodology a... |
142
Voted
CG
2008
Springer
15 years 3 months ago
2008
Springer
Recent developments have produced several techniques for interactive ray tracing of dynamic scenes. In particular, bounding volume hierarchies (BVHs) are efficient acceleration st...
170
Voted
TOG
2012
13 years 6 months ago
2012
We present an approach to synthesizing shapes from complex domains, by identifying new plausible combinations of components from existing shapes. Our primary contribution is a new...
133
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Determination of protein-DNA complex structures with both NMR and X-ray crystallography remains challenging in many cases. High Ambiguity-Driven DOCKing (HADDOCK) is a...
138
Voted
AOSD
2010
ACM
15 years 10 months ago
2010
ACM
The development of complex software requires the implementation of functions over a variety of recursively defined data structures. The design (and modeling) of structures can it...
148
Voted
FM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...