Author of the publication

EATBit: Effective automated test for binary translation with high code coverage.

, , , and . DATE, page 1-6. European Design and Automation Association, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

HMP-ASIPs: heterogeneous multi-pipeline application-specific instruction-set processors., , , and . IET Computers & Digital Techniques, 3 (1): 94-108 (2009)Crank-Nicolson least-squares Galerkin procedures for parabolic integro-differential equations., and . Applied Mathematics and Computation, 180 (2): 622-634 (2006)A Control Lyapunov Function Approach to Stabilization of Affine Nonlinear Systems with Bounded Uncertain Parameters., , , and . CSSP, 34 (1): 341-352 (2015)Error analysis of the semi-discrete local discontinuous Galerkin method for compressible miscible displacement problem in porous media., , and . Applied Mathematics and Computation, (2015)Least-squares Galerkin procedures for parabolic integro-differential equations., and . Applied Mathematics and Computation, 150 (3): 749-762 (2004)Optimized streaming media proxy and its applications., , , and . J. Network and Computer Applications, 30 (1): 265-281 (2007)A split least-squares characteristic mixed element method for nonlinear nonstationary convection-diffusion problem., and . Int. J. Comput. Math., 89 (7): 932-943 (2012)A Design and Evaluation of Ethernet Links Bundling Systems., , , and . AINA (2), page 313-316. IEEE Computer Society, (2004)Unrolling Loops With Indeterminate Loop Counts in System Level Pipelines., and . ASP-DAC, page 99-104. IEEE, (1998)EATBit: Effective automated test for binary translation with high code coverage., , , and . DATE, page 1-6. European Design and Automation Association, (2014)