With the advent of multi-core processors, the need for development of multi-threaded softwares has become indispensable. Verification of multi-threaded programs, particularly those that involve sharing of memory resources, poses a greater challenge than their sequential counterparts. A certain class of software model checking problems can be transformed to AI search problems in graphs. Search a...

Geometrical languages generalize languages introduced to model temporal validation of real-time softwares. We prove that it is decidable whether a regular language is geometrical. This result was previously known for binary languages.

Cloud computing is a business model which provides an easier management of computing resources. Cloud users can request virtual machine and install additional softwares and configure them if needed. However, user can also request virtual appliance which provides a better solution to deploy application in much faster time, as it is ready-built image of operating system with necessary softwares i...

This paper studies the conditions under which an IT revolution may endogenously occur. To this end, we construct an endogenous growth multisectoral model with a preeminent IT sector. Technological progress is embodied: New softwares can only be run on the the most recent generations of hardware. While the new softwares are copyrighted during a fixed period of time, they become public knowledge ...

introduction: a large number of software programs have been used in dentistry for diagnosis and treatment planning to date. however, due to promotion of programming languages and developments in dental sciences, it is necessary to develop and update these softwares. use of softwares for treatment planning for removable partial dentures has been popular for some time and always new softwares hav...