Simulation of imprecise ordinary differential equations using evolutionary algorithms
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Generation of smooth grids with line control for scattering from multiple obstacles
Mathematics and Computers in Simulation
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
LPV approximation of distributed parameter systems in environmental modelling
Environmental Modelling & Software
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
Optimising memory bandwidth use for matrix-vector multiplication in iterative methods
ARC'10 Proceedings of the 6th international conference on Reconfigurable Computing: architectures, Tools and Applications
Hi-index | 0.00 |