Abstract Real-time simulation of deformable objects involves many computational challenges to be solved, particularly in the context of haptic applications, where high update rates...
Recent simulations of diffusion limited cluster-cluster aggregation (DLCA) have shown systematic inhomogeneities in the shape and orientation of clusters formed when a sedimentary...
ROMSTOOLS, a collection of global data sets and a series of Matlab programs collected in an integrated toolbox, generates the grid, surface forcing, initial condition, open bounda...
Pierrick Penven, Patrick Marchesiello, Laurent Deb...
— A method how to improve the coverage of single faults in combinational circuits is proposed. The method is based on Concurrent Error Detection, but uses a fault simulation to f...
Jaroslav Borecky, Martin Kohlik, Hana Kubatova, Pa...
We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of forma...