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

1 comment:

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