1981 search results - page 56 / 397 » Model-Checking Hierarchical Structures |
HPCA
2005
IEEE
14 years 10 months ago
2005
IEEE
Improvements in semiconductor technology now enable Chip Multiprocessors (CMPs). As many future computer systems will use one or more CMPs and support shared memory, such systems ...
SIGGRAPH
2010
ACM
14 years 2 months ago
2010
ACM
Collision detection is a problem that has often been addressed efficiently with the use of hierarchical culling data structures. In the subproblem of self-collision detection for ...
IV
2008
IEEE
14 years 4 months ago
2008
IEEE
We previously applied our own hierarchical data visualization technique for structure-activity relationship (SAR) analyses of biochemical data. The study applied a recursive parti...
ICIP
2009
IEEE
13 years 7 months ago
2009
IEEE
Originally, the hierarchical coding structure was proposed to achieve temporal scalability. Soon after, it was realized that with a proper quantization parameter cascading (QPC) s...
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
Structural constraint solving allows finding object graphs that satisfy given constraints, thereby enabling software reliability tasks, such as systematic testing and error recove...