1194 search results - page 61 / 239 » Input Guided Performance Evaluation |
ISW
2005
Springer
15 years 6 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
99
Voted
FPL
2001
Springer
15 years 5 months ago
2001
Springer
This paper presents parameterized module-generators for pipelined function evaluation using lookup tables, adders, shifters and multipliers. We discuss trade-offs involved between...
112
Voted
ISSAC
1995
Springer
15 years 4 months ago
1995
Springer
: We present e cient algorithms based on a combination of numeric and symbolic techniques for evaluating one-dimensional algebraic sets in a subset of the real domain. Given a desc...
101
click to vote
IE
2007
15 years 2 months ago
2007
Unmanned vehicles (UV’s) are increasingly being employed in civil and military domains often for operations in dangerous environments. Typically these vehicles require some leve...
97
Voted
CEC
2009
IEEE
15 years 7 months ago
2009
IEEE
— One of the main tasks software testing involves is the generation of the test inputs to be used during the test. Due to its expensive cost, the automation of this task has beco...