Although component software has emerged as one of the most significant and commercially successful technologies of the past few years, few operating systems are designed to host a...
By-wire systems have been established for several years in the area of aircraft construction and there are now approaches to utilize this technology in vehicles. The required elect...
Thomas Ringler, J. Steiner, R. Belschner, Bernd He...
This paper discusses the research initiatives and programs supported by the National Science Foundation to promote high-end computing and largescale networking. This work mainly fa...
Current video-conferencing systems provide a "video-ina-window" user interface. This paper presents a distributed video-conferencing system called CU-SeeMe VR that embed...
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...
Klaus Winkelmann, Hans-Joachim Trylus, Dominik Sto...