2452 search results - page 140 / 491 » The Case for Precision Sharing |
182
click to vote
DCC
2008
IEEE
16 years 7 months ago
2008
IEEE
Some improved bounds on the number of directions not determined by a point set in the affine space AG(k, q) are presented. More precisely, if there are more than pe (q -1) directio...
156
click to vote
ISPW
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract. Using process simulation and AI search methods, we compare software reuse against other possible changes to a project. such as reducing functionality or improving the ski...
177
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
175
click to vote
APPROX
2005
Springer
16 years 1 months ago
2005
Springer
We study the approximability of 1-in-kSAT, the variant of Max kSAT where a clause is deemed satisfied when precisely one of its literals is satisfied. We also investigate differ...
173
click to vote
CHARME
2005
Springer
16 years 1 months ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...