| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A comparative study of two formal semantics of the SIGNAL language
|
Yang, Zhibin
|
|
2013
|
7 |
5 |
p. 673-693
|
artikel
|
| 2 |
A comprehensive review of significant researches on content based indexing and retrieval of visual information
|
Priya, R.
|
|
2013
|
7 |
5 |
p. 782-799
|
artikel
|
| 3 |
Algorithms for checking channel passing in web service choreography
|
Yang, Hongli
|
|
2013
|
7 |
5 |
p. 710-728
|
artikel
|
| 4 |
An ACO-RFD hybrid method to solve NP-complete problems
|
Rabanal, Pablo
|
|
2013
|
7 |
5 |
p. 729-744
|
artikel
|
| 5 |
An evaluation framework for software crowdsourcing
|
Wu, Wenjun
|
|
2013
|
7 |
5 |
p. 694-709
|
artikel
|
| 6 |
Dimensionality reduction with adaptive graph
|
Qiao, Lishan
|
|
2013
|
7 |
5 |
p. 745-753
|
artikel
|
| 7 |
Exploring system architectures in AADL via Polychrony and SynDEx
|
Yu, Huafeng
|
|
2013
|
7 |
5 |
p. 627-649
|
artikel
|
| 8 |
Foreword to the special section on synchronous programming
|
Talpin, Jean-Pierre
|
|
2013
|
7 |
5 |
p. 595-597
|
artikel
|
| 9 |
Formal verification of synchronous data-flow program transformations toward certified compilers
|
Ngo, Van Chan
|
|
2013
|
7 |
5 |
p. 598-616
|
artikel
|
| 10 |
Local feature based retrieval approach for iris biometrics
|
Mehrotra, Hunny
|
|
2013
|
7 |
5 |
p. 767-781
|
artikel
|
| 11 |
Multi-threaded code generation from Signal program to OpenMP
|
Hu, Kai
|
|
2013
|
7 |
5 |
p. 617-626
|
artikel
|
| 12 |
Reinforcement learning models for scheduling in wireless networks
|
Yau, Kok-Lim Alvin
|
|
2013
|
7 |
5 |
p. 754-766
|
artikel
|
| 13 |
Scenario-based verification in presence of variability using a synchronous approach
|
Millo, Jean-Vivien
|
|
2013
|
7 |
5 |
p. 650-672
|
artikel
|
Tijdschrift beschrijving