Implementation and evaluation of update-based cache protocols under relaxed memory consistency models
CTDNet III-An eager reduction model with laziness features
Probabilistic parallel programming based on multiset transformation
A model for the parallel execution of subset-equational languages
Order statistics on a linear array with a reconfigurable bus
Contributions of FGCS technology to applications in legal reasoning
Calendar