Inicio  /  IEEE SOFTWARE  /  Vol: 22 Núm: 4 Par: 0 (2005)  /  Artículo
ARTÍCULO
TITULO

Rapid Embedded System Testing Using Verification Patterns

Wei-Tek Tsai    
Lian Yu    
Feng Zhu    
Paul    
R.    

Resumen

No disponible

 Artículos similares

       
 
Xiaoyu Liu, Wenqian Peng, Liuyin Xie and Xiang Zhang    
In this paper, a novel bat algorithm based on the quantum computing concept and pyramid neural network (PNN) is presented and applied to the electromagnetic motor optimization problem. Due to the problems of high loss, high temperature rise and threateni... ver más
Revista: Applied Sciences

 
Nadir Abbas, Zeshan Abbas and Xiaodong Liu    
The rapid expansion of the Internet and communication technologies is leading to significant changes in both society and the economy. This development is driving the evolution of smart cities, which utilize cutting-edge technologies and data analysis to ... ver más
Revista: Applied Sciences

 
Andrea Calvagna, Emiliano Tramontana and Gabriella Verga    
Social network systems are constantly fed with text messages. While this enables rapid communication and global awareness, some messages could be aptly made to hurt or mislead. Automatically identifying meaningful parts of a sentence, such as, e.g., posi... ver más
Revista: Computers

 
Xinyuan Miao, Lin Cheng, Yu Song, Junfeng Li and Shengping Gong    
With the deepening of planetary exploration, rapid decision making and descent trajectory planning capabilities are needed to cope with uncertain environmental disturbances and possible faults during planetary landings. In this article, a novel decouplin... ver más
Revista: Applied Sciences

 
Francesco Barchi, Emanuele Parisi, Andrea Bartolini and Andrea Acquaviva    
To cope with the increasing complexity of digital systems programming, deep learning techniques have recently been proposed to enhance software deployment by analysing source code for different purposes, ranging from performance and energy improvement to... ver más