Research Publications
All 2012 | |
| Narrow your search | 638 result(s) |
By Type
By Year By Research Group
| How to apply automated verification technology such as model checking and static program analy- sis to millions of lines of embedded C/C++ code? How to package this technology in a way that it can be used by software developers and engineers, who might ... Information about verb subcategorization frames (SCFs) is important to many tasks in natural language processing (NLP). Biomedicine has a need for high-quality SCF lexicons to support the extraction of information from the biomedical literature, which in ... Measuring cognitive load changes can contribute to better treatment of patients, can help design effective strategies to reduce medical errors among clinicians and can facilitate user evaluation of health care information systems. This paper proposes an ... This paper describes an analytical model and an associated algorithm for assessing the throughputs of each host in Wireless Mesh Networks (WMNs). It provides a framework for studying WMNs, particularly when the performance and parameters in multiple ... Despite intensive research in the area of network connectivity, there is an important category of problems that remain unsolved: how to measure the quality of connectivity of a wireless multi-hop network which has a realistic number of nodes, not ... In this paper, we study the dependency between MapReduce configuration parameters and network load of fixed-size MapReduce jobs during the shuffle phase; then we propose an analytical method to model this dependency. Our approach consists of three key ... |