An algorithmic model for real-time computation | IEEE Conference Publication | IEEE Xplore