This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
State-of-the-art run-time systems are a poor match to diverse, dynamic distributed applications because they are designed to provide support to a wide variety of applications, with...
Lawrence Rauchwerger, Nancy M. Amato, Josep Torrel...
This paper describes applications of molecular simulation to microelectronics processes and the subsequent development of techniques for multiscale simulation and multiscale syste...
Richard D. Braatz, Richard C. Alkire, Edmund G. Se...
The Internet has led to the development of on-line markets, and computer scientists have designed various auction algorithms, as well as automated exchanges for standardized commo...
3D ultrasound (US) is an emerging new imaging technology that appeals to more and more applications in intraoperative guidance of computer-assisted surgery. In a freehand US imagin...
Thomas Kuiran Chen, Purang Abolmaesumi, Adrian D. ...