Author Search Results

1

Test case generation for adequacy of floating-point to fixed-point conversion

Test case generation for adequacy of floating-point to fixed-point conversion

by Pham, T.-H., Truong, A.-H., Chin, W.-N., Aoshima, T.
Published 2013

Get full text

Conference or Workshop Item

2

FixBag: A fixpoint calculator for quantified bag constraints

FixBag: A fixpoint calculator for quantified bag constraints

by Pham, T.-H., Trinh, M.-T., Truong, A.-H., Chin, W.-N.
Published 2013

Get full text

Conference or Workshop Item

3

A fast algorithm to compute heap memory bounds of Java Card applets

A fast algorithm to compute heap memory bounds of Java Card applets

by Pham, T.-H., Truong, A.-H., Truong, N.-T., Chin, W.-N.
Published 2013

Get full text

Conference or Workshop Item