Foreword to the special section on synchronous programming Jean-Pierre Talpin Editorial 02 October 2013 Pages: 595 - 597
Formal verification of synchronous data-flow program transformations toward certified compilers Van Chan NgoJean-Pierre TalpinLoïc Besnard Review Article 13 September 2013 Pages: 598 - 616
Multi-threaded code generation from Signal program to OpenMP Kai HuTeng ZhangZhibin Yang Research Article 16 September 2013 Pages: 617 - 626
Exploring system architectures in AADL via Polychrony and SynDEx Huafeng YuYue MaYves Sorel Research Article 02 October 2013 Pages: 627 - 649
Scenario-based verification in presence of variability using a synchronous approach Jean-Vivien MilloFrédéric MalletS. Ramesh Research Article 19 September 2013 Pages: 650 - 672
A comparative study of two formal semantics of the SIGNAL language Zhibin YangJean-Paul BodeveixMamoun Filali Review Article 02 October 2013 Pages: 673 - 693
An evaluation framework for software crowdsourcing Wenjun WuWei-Tek TsaiWei Li Research Article 14 August 2013 Pages: 694 - 709
Algorithms for checking channel passing in web service choreography Hongli YangChao CaiShengchao Qin Review Article 05 August 2013 Pages: 710 - 728
An ACO-RFD hybrid method to solve NP-complete problems Pablo RabanalIsmael RodríguezFernando Rubio Research Article 02 October 2013 Pages: 729 - 744
Dimensionality reduction with adaptive graph Lishan QiaoLimei ZhangSongcan Chen Research Article 10 August 2013 Pages: 745 - 753
Reinforcement learning models for scheduling in wireless networks Kok-Lim Alvin YauKae Hsiang KwongChong Shen Review Article 10 August 2013 Pages: 754 - 766
Local feature based retrieval approach for iris biometrics Hunny MehrotraBanshidhar Majhi Research Article 23 August 2013 Pages: 767 - 781
A comprehensive review of significant researches on content based indexing and retrieval of visual information R. PriyaT. N. Shanmugam Review Article 02 October 2013 Pages: 782 - 799