Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
Traditional DMA requires the operating system to perform many tasks to initiate a transfer, with overhead on the order of hundreds or thousands of CPU instructions. This paper des...
Matthias A. Blumrich, Cezary Dubnicki, Edward W. F...
Visualization systems that support multiple-display viewing can greatly enhance user perception. The common approach to provide multiple synchronized views uses a powerful centrali...
Alexandre G. Ferreira, Renato Cerqueira, Waldemar ...
The OpenChoice system, currently in development, is an open source, open access community rating and filtering service that would improve upon the utility of currently available W...
iScribble, is a graphical user interface developed by us, with a JAVA front-end and a Matlab back-end. The GUI is a powerful yet simple tool which can be easily integrated with Mat...