Sciweavers

6014 search results - page 1155 / 1203
» Structural Testing with Use Cases
Sort
View
128
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
Automated Inference of Pointcuts in Aspect-Oriented Refactoring
Software refactoring is the process of reorganizing the internal structure of code while preserving the external behavior. Aspect-Oriented Programming (AOP) provides new modulariz...
Prasanth Anbalagan, Tao Xie
106
Voted
ICCAD
2008
IEEE
140views Hardware» more  ICCAD 2008»
15 years 11 months ago
Algorithms for simultaneous consideration of multiple physical synthesis transforms for timing closure
We propose a post-placement physical synthesis algorithm that can apply multiple circuit synthesis and placement transforms on a placed circuit to improve the critical path delay ...
Huan Ren, Shantanu Dutt
WEA
2010
Springer
289views Algorithms» more  WEA 2010»
15 years 9 months ago
Experiments with a Generic Dantzig-Wolfe Decomposition for Integer Programs
Abstract We report on experiments with turning the branch-price-andcut framework SCIP into a generic branch-price-and-cut solver. That is, given a mixed integer program (MIP), our ...
Gerald Gamrath, Marco E. Lübbecke
ISCA
2009
IEEE
199views Hardware» more  ISCA 2009»
15 years 9 months ago
SigRace: signature-based data race detection
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
Abdullah Muzahid, Darío Suárez Graci...
110
Voted
DEXAW
2008
IEEE
120views Database» more  DEXAW 2008»
15 years 8 months ago
Self-Similarity Metric for Index Pruning in Conceptual Vector Space Models
— One of the critical issues in search engines is the size of search indexes: as the number of documents handled by an engine increases, the search must preserve its efficiency,...
Dario Bonino, Fulvio Corno
« Prev « First page 1155 / 1203 Last » Next »