Search
Now showing items 1-10 of 36
Automated classification of static code analysis alerts: a case study
(IEEE, 2013)
Static code analysis tools automatically generate alerts for potential software faults that can lead to failures. However, developers are usually exposed to a large number of alerts. Moreover, some of these alerts are ...
A hybrid reasoning mechanism for effective sensor selection for tasks
(Elsevier, 2013-02)
In this paper, we present Ontological Logic Programming (OLP), a novel approach that combines logic programming with ontological reasoning. OLP enables the use of ontological terms (i.e., individuals, classes and properties) ...
A run-time verification framework for smart grid applications implemented on simulation frameworks
(IEEE, 2013)
Smart grid applications are implemented and tested with simulation frameworks as the developers usually do not have access to large sensor networks to be used as a test bed. The developers are forced to map the implementation ...
Nearest neighbor approach in speaker adaptation for HMM-based speech synthesis
(IEEE, 2013)
Statistical speech synthesis (SSS) approach has become one of the most popular and successful methods in the speech synthesis field. Smooth speech transitions, without the spurious errors that are observed in unit selection ...
A robotics summer camp for high school students: pipelines activities promoting careers in engineering fields
(American Society for Engineering Education, 2013-06)
In this paper we discuss the lived-experiences and the career interests of 27 high school students who participated in a two-week Robotics summer camp in 2012. The summer camp was designed by a team of engineering faculty, ...
Spectrum-based fault localization for diagnosing concurrency faults
(Springer Science+Business Media, 2013)
Concurrency faults are activated by specific thread interleavings at runtime. Traditional fault localization techniques and static analysis fall short to diagnose these faults efficiently. Existing dynamic fault-localization ...
Design and implementation of a cloud computing service for finite element analysis
(Elsevier, 2013-06)
This paper presents an end-to-end discussion on the technical issues related to the design and implementation of a new cloud computing service for finite element analysis (FEA). The focus is specifically on performance ...
Enabling difference-based dynamic partial self reconfiguration for large differences
(IEEE, 2013)
This paper presents a new Dynamic Partial Self Reconfiguration (DPSR) flow for Xilinx FPGAs. Leveraging the Xilinx FPGA Editor and PlanAhead tools, we provide two implementation approaches that enable partial reconfiguration ...
Agilely assigning sensing assets to mission tasks in a coalition context
(IEEE, 2013)
When managing intelligence, surveillance, and reconnaissance (ISR) operations in a coalition context, assigning available sensing assets to mission tasks can be challenging. The authors' approach to ISR asset assignment ...
Agent-based semantic collaborative search
(Executive Committee, Taiwan Academic Network, Ministry of Education, 2013)
Next generation of the Web builds upon technologies such as Semantic Web and Intelligent Software Agents. These technologies aim at knowledge representation that allows both humans and software agents to understand and ...
Share this page