3281 search results - page 557 / 657 » An Approach to use Executable Models for Testing |
XPU
2005
Springer
14 years 2 months ago
2005
Springer
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...
SIGMETRICS
1997
ACM
14 years 1 months ago
1997
ACM
Benchmarks are important because they provide a means for users and researchers to characterize how their workloads will perform on different systems and different system architec...
ASPLOS
2012
ACM
12 years 4 months ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
EMNLP
2009
13 years 6 months ago
2009
Current statistical machine translation (SMT) systems are trained on sentencealigned and word-aligned parallel text collected from various sources. Translation model parameters ar...
ICIP
2006
IEEE
14 years 10 months ago
2006
IEEE
An innovative extended Kalman filter (EKF) algorithm for pose tracking has been proposed in this paper. It has the advantages of both structure and motion-based (SAM-based) and tr...