1. Foreword to the special section on synchronous programming

   • Jean-Pierre Talpin

   Editorial 02 October 2013 Pages: 595 - 597

2. Formal verification of synchronous data-flow program transformations toward certified compilers

   • Van Chan Ngo
   • Jean-Pierre Talpin
   • Loïc Besnard

   Review Article 13 September 2013 Pages: 598 - 616

3. Multi-threaded code generation from Signal program to OpenMP

   • Kai Hu
   • Teng Zhang
   • Zhibin Yang

   Research Article 16 September 2013 Pages: 617 - 626

4. Exploring system architectures in AADL via Polychrony and SynDEx

   • Huafeng Yu
   • Yue Ma
   • Yves Sorel

   Research Article 02 October 2013 Pages: 627 - 649

5. Scenario-based verification in presence of variability using a synchronous approach

   • Jean-Vivien Millo
   • Frédéric Mallet
   • S. Ramesh

   Research Article 19 September 2013 Pages: 650 - 672

6. A comparative study of two formal semantics of the SIGNAL language

   • Zhibin Yang
   • Jean-Paul Bodeveix
   • Mamoun Filali

   Review Article 02 October 2013 Pages: 673 - 693

7. An evaluation framework for software crowdsourcing

   • Wenjun Wu
   • Wei-Tek Tsai
   • Wei Li

   Research Article 14 August 2013 Pages: 694 - 709

8. Algorithms for checking channel passing in web service choreography

   • Hongli Yang
   • Chao Cai
   • Shengchao Qin

   Review Article 05 August 2013 Pages: 710 - 728

9. An ACO-RFD hybrid method to solve NP-complete problems

   • Pablo Rabanal
   • Ismael Rodríguez
   • Fernando Rubio

   Research Article 02 October 2013 Pages: 729 - 744

10. Dimensionality reduction with adaptive graph

    • Lishan Qiao
    • Limei Zhang
    • Songcan Chen

    Research Article 10 August 2013 Pages: 745 - 753

11. Reinforcement learning models for scheduling in wireless networks

    • Kok-Lim Alvin Yau
    • Kae Hsiang Kwong
    • Chong Shen

    Review Article 10 August 2013 Pages: 754 - 766

12. Local feature based retrieval approach for iris biometrics

    • Hunny Mehrotra
    • Banshidhar Majhi

    Research Article 23 August 2013 Pages: 767 - 781

13. A comprehensive review of significant researches on content based indexing and retrieval of visual information

    • R. Priya
    • T. N. Shanmugam

    Review Article 02 October 2013 Pages: 782 - 799