Issue 5/2013
Content (13 Articles)
Review Article
Formal verification of synchronous data-flow program transformations toward certified compilers
Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loïc Besnard
Research Article
Multi-threaded code generation from Signal program to OpenMP
Kai Hu, Teng Zhang, Zhibin Yang
Research Article
Exploring system architectures in AADL via Polychrony and SynDEx
Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Jean-Pierre Talpin, Paul Le Guernic, Yves Sorel
Research Article
Scenario-based verification in presence of variability using a synchronous approach
Jean-Vivien Millo, Frédéric Mallet, Anthony Coadou, S. Ramesh
Review Article
A comparative study of two formal semantics of the SIGNAL language
Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali
Review Article
Algorithms for checking channel passing in web service choreography
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao, Zongyan Qiu, Shengchao Qin
Research Article
An ACO-RFD hybrid method to solve NP-complete problems
Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Research Article
Dimensionality reduction with adaptive graph
Lishan Qiao, Limei Zhang, Songcan Chen
Review Article
Reinforcement learning models for scheduling in wireless networks
Kok-Lim Alvin Yau, Kae Hsiang Kwong, Chong Shen
Research Article
Local feature based retrieval approach for iris biometrics
Hunny Mehrotra, Banshidhar Majhi
Review Article
A comprehensive review of significant researches on content based indexing and retrieval of visual information
R. Priya, T. N. Shanmugam