Safety-Critical Java (SCJ) is a recent technology that restricts the execution and memory model of Java in such a way that applications can be statically analysed and certified for their real-time properties and safe use of memory. Our interest is in the development of comprehensive and sound techniques for the formal specification, refinement, design, and implementation of SCJ programs, using ...

In the era of information processing and use of information technology, speech recognition and processing plays a very important role for many human computing tasks. Speech pattern and Speech recognition is fundamental for speech analysis in speech data handling system. No doubt it allows all users to communicate with computers and along with electronic devices using any natural language. Today...

Scheduling is an important subject of production and operations management area. In flow-shop scheduling, the objective is to obtain a sequence of jobs which when processed in a fixed order of machines, will optimize some well defined criteria. The concept of transportation time is very important in scheduling. Transportation can be done by robots. In situations that robots are used to transpor...