14 February 2012

Special issue: Development of embedded systems: modelling, verification, scheduling, implementation and reconfiguration

International Journal of Computer Applications in Technology 42 (2/3) 2011
  • Formal approach for the development of intelligent industrial control components
  • Virtual start-up of plants using formal methods
  • Combining formal methods for the development of reactive systems
  • Evaluation of meta-heuristic approaches for scheduling optimisation of flexible manufacturing systems
  • Incremental verification of component-based timed systems
  • Real-time reconfigurable SoC for process control
  • A multi-level design methodology of multistage interconnection network for MPSOCs
  • Nominal decomposition of colour space transformation for the computer system for the reconfigurable computing and SA-C programming
Additional Papers
  • Using ontology to generate test cases for GUI testing
  • Evaluation of mechanical behaviour of bone, implant and bone-implant interface by numerical simulation of two surgical fixation procedures using finite element analysis
  • A dynamic state estimation method for power systems
  • Feasibility study of software reengineering towards role-based access control

2 comments:

Nischal said...

This is the nice blog and provides good information about embedded system. if you know more about that embedded system training and placement then visit here www.ducatindia.com

arush said...

Thanks for sharing, I will bookmark and be back again


Embedded Systems Course