2278 search results - page 293 / 456 » Specification Techniques for Automatic Performance Analysis ... |
160
click to vote
SPLC
2007
15 years 5 months ago
2007
Product lines need decision models that guide the derivation of product variants satisfying specific requirements. In dynamic product lines, whose requirements vary during runtime...
151
Voted
WSC
1997
15 years 6 months ago
1997
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...
128
click to vote
ISOLA
2004
Springer
15 years 10 months ago
2004
Springer
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...
153
click to vote
CAIP
2009
Springer
15 years 11 months ago
2009
Springer
This paper investigates a new automated personal authentication technique using finger-knuckle-print (FKP) imaging. First, a specific data acquisition device is developed to captur...
180
click to vote
SODA
2010
ACM
16 years 2 months ago
2010
ACM
The quadratic assignment problem (QAP) is a central problem in combinatorial optimization. Several famous computationally hard tasks, such as graph matching, partitioning, and the...