Volume 16, Number 1, March 2012

• 
  Bruno Albertini, Sandro Rigo, Guido Araujo: Computational reflection and its application to platform verification. 1-17
• 
  Elena Maftei, Paul Pop, Jan Madsen: Routing-based synthesis of digital microfluidic biochips. 19-44
• 
  Andrzej Ruta, R. Brzoza-Woch, Krzysztof Zielinski: On fast development of FPGA-based SOA services - machine vision case study. 45-69

Volume 16, Number 2, June 2012

• 
  Bertrand Le Gal, Lilian Bossuet: Automatic low-cost IP watermarking technique based on output mark insertions. 71-92
• 
  Vaibhav Jain, Anshul Kumar, Preeti Ranjan Panda: Exploiting UML based validation for compliance checking of TLM 2 based models. 93-113
• 
  Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco: HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels. 115-135
• 
  Calin Glitia, Julien DeAntoni, Frédéric Mallet, Jean-Vivien Millo, Pierre Boulet, Abdoulaye Gamatié: Progressive and explicit refinement of scheduling for multidimensional data-flow applications using uml marte. 137-169

last updated on Sun May 26 04:43:54 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page