— Testing and verification are important methods for gaining confidence in the reliability of a software product. Keeping this confidence up is especially difficult for softw...
A framework for performance analysis of parallel discrete event simulators is presented. The centerpiece of this framework is a platform-independent Workload Specification Langua...
Vijay Balakrishnan, Peter Frey, Nael B. Abu-Ghazal...
We present a formal framework of an autonomous agent as a collection of coordinated control loops, with a recurring sense, plan, act cycle. Our framework manages the information f...
Non-stationarity is often found in session-to-session transfers of Brain Computer Interfaces (BCIs). To cope with the problem, a framework based on Common Spatial Patterns (CSP), ...
Abstract--Large displays are playing an increasingly important role in today's visualization research. One of the most scalable and cost-effective ways to build a large displa...
Matthias Deller, Sebastian Thelen, Daniel Steffen,...