Sciweavers

7253 search results - page 1097 / 1451
» Agile Performance Testing
Sort
View
ASPDAC
2007
ACM
121views Hardware» more  ASPDAC 2007»
15 years 8 months ago
Timing-Aware Decoupling Capacitance Allocation in Power Distribution Networks
Power supply noise increases the circuit delay, which may lead to performance failure of a design. Decoupling capacitance (decap) addition is effective in reducing the power suppl...
Sanjay Pant, David Blaauw
ASSETS
2007
ACM
15 years 8 months ago
SAMBA: a semi-automatic method for measuring barriers of accessibility
Although they play an important role in any assessment procedure, web accessibility metrics are not yet well developed and studied. In addition, most metrics are geared towards co...
Giorgio Brajnik, Raffaella Lomuscio
ASSETS
2007
ACM
15 years 8 months ago
Using participatory activities with seniors to critique, build, and evaluate mobile phones
Mobile phones can provide a number of benefits to older people. However, most mobile phone designs and form factors are targeted at younger people and middle-aged adults. To infor...
Michael Massimi, Ronald M. Baecker, Michael Wu
AUSAI
2007
Springer
15 years 8 months ago
Branching Rules for Satisfiability Analysed with Factor Analysis
Factor analysis is a statistical technique for reducing the number of factors responsible for a matrix of correlations to a smaller number of factors that may reflect underlying va...
Richard J. Wallace, Stuart Bain
CAV
2009
Springer
123views Hardware» more  CAV 2009»
15 years 8 months ago
On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
David Monniaux
« Prev « First page 1097 / 1451 Last » Next »