[9]
Khandelwal, Y. et al.
“NurtureNet: A Multi-Task Video-Based Approach for
Newborn Anthropometry.” Conference on Computer Vision and Pattern
Recognition (CVPR). Workshop on Computer Vision for Physiological
Measurement, 2024.
[29]
Pilotto, C. and White, J. “Verification
of Faulty Message Passing Systems with Continuous State Space in
PVS.” NASA Formal Methods Symposium. 2010.
[31]
Chandy, K.M. et al. “Towards
Verified Distributed Software Through Refinement of Formal
Archetypes.” Working Conference on Verified Software: Workshop on
Experiments. IFIP, 2008.
[33]
White, J. and Wie, X. “Effect of Receive
Buffer Size: An OS-Based Perspective.” International
Workshop on Protocols for FAST Long-Distance Networks. 2007.
[36]
Ţăpuş, C. et al. “A Mechanism
for Sequential Consistency in a Distributed Objects System.”
International Conference on Parallel and Distributed Computing Systems.
ISCA, 2004.