Although numerous methods to register brains of different individuals have been proposed, no work has been done, as far as we know, to evaluate and compare objectively the performa...
Pierre Hellier, Christian Barillot, Isabelle Corou...
We consider algorithms for load balancing on unreliable machines. The objective is to optimize the two criteria of minimizing the makespan and minimizing job reassignments in resp...
The delay and dispersion of the packet train have been widely used in most network measurement tools. The timestamp of the packet is critical for the measurement accuracy. However...
Zhiqiang Zhou, Lin Cong, Guohan Lu, Beixing Deng, ...
We describe the implementation of a graphical programming tool in the object-oriented language, Smalltalk80, that allows a user to construct a radiographic measurement model. The ...
G. S. Cunningham, K. M. Hanson, G. R. Jennings Jr....
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...