Sciweavers

13181 search results - page 2419 / 2637
» Design and Implementation of Cohesion
Sort
View
DAC
2006
ACM
16 years 7 months ago
High-level power management of embedded systems with application-specific energy cost functions
Most existing dynamic voltage scaling (DVS) schemes for multiple tasks assume an energy cost function (energy consumption versus execution time) that is independent of the task ch...
Youngjin Cho, Naehyuck Chang, Chaitali Chakrabarti...
MICCAI
2005
Springer
16 years 7 months ago
Deformable Registration of Diffusion Tensor MR Images with Explicit Orientation Optimization
In this paper, we present a novel deformable registration algorithm for diffusion tensor MR images that enables explicit optimization of tensor reorientation. The optimization see...
Hui Zhang 0005, Paul A. Yushkevich, James C. Gee
ICSE
2008
IEEE-ACM
16 years 7 months ago
Scalable detection of semantic clones
Several techniques have been developed for identifying similar code fragments in programs. These similar fragments, referred to as code clones, can be used to identify redundant c...
Mark Gabel, Lingxiao Jiang, Zhendong Su
ICSE
2008
IEEE-ACM
16 years 7 months ago
DySy: dynamic symbolic execution for invariant inference
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
Christoph Csallner, Nikolai Tillmann, Yannis Smara...
SIGSOFT
2009
ACM
16 years 7 months ago
Supporting automatic model inconsistency fixing
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song...
« Prev « First page 2419 / 2637 Last » Next »