81 search results - page 11 / 17 » Extending Symmetry Reduction Techniques to a Realistic Model... |
SPAA
2003
ACM
14 years 22 days ago
2003
ACM
Recent research on processor microarchitecture suggests using instruction criticality as a metric to guide hardware control policies. Fields et al. [3, 4] have proposed a directed...
MSWIM
2005
ACM
14 years 1 months ago
2005
ACM
Topology Control (TC) is a well-studied technique used in wireless ad hoc networks to find energy-efficient and/or low-interference subgraphs of the maxpower communication graph....
DAC
2009
ACM
14 years 8 months ago
2009
ACM
Current compilers lack precise timing models guiding their built-in optimizations. Hence, compilers apply ad-hoc heuristics during optimization to improve code quality. One of the...
CHI
2008
ACM
14 years 7 months ago
2008
ACM
We designed an activity-based prototyping process realized in the ActivityDesigner system that combines the theoretical framework of Activity-Centered Design with traditional iter...
CCECE
2009
IEEE
14 years 2 months ago
2009
IEEE
The inverse diffusion problems deal with the estimation of many crucial parameters such as the diffusion coefficient, source properties, and boundary conditions. Such algorithms ...