1194 search results - page 34 / 239 » Input Guided Performance Evaluation |
93
Voted
SAT
2009
Springer
15 years 5 months ago
2009
Springer
Execution of most of the modern DPLL-based SAT solvers is guided by a number of heuristics. Decisions made during the search process are usually driven by some fixed heuristic pol...
CHI
2008
ACM
16 years 25 days ago
2008
ACM
We describe a new circular touch gesture for scrolling called ChiralMotionTM and report on work to measure its performance. In a study using a document scrolling task, ChiralMotio...
80
Voted
WOSP
2004
ACM
15 years 5 months ago
2004
ACM
We propose an automated compositional approach for component-based performance engineering, called the CB-SPE. It adapts to a CB framework the concepts and steps of the wellknown ...
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— The present paper introduces an evaluation of the manipulation performance of a robotic arm with respect to control accuracy and mechanical efficiency, taking into considerati...
141
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...