Software quality and software development productivity have been topics of major interest and concern for the past three decades. The recent rapid growth in the size and complexity of software, and the cost of developing software, has given a greater sense of urgency to finding ways to assure quality of software and bring the cost of developing software under some semblance of control. In this ...

We are interested in languages that provide powerful abstractions for concurrency and parallelism that execute everywhere, efficiently. Currently, the existing runtime environments for the occam-π programming language provide either one of these features (portability) or some semblance of the other (performance). We believe that both can be achieved through the careful generation of C from occa...

Delusions are known to be influenced by the popular media, the sociopolitical undercurrents and also by the scientific innovations. Internet is one such modern communication tool, which can easily be incorporated into the delusional system of patients by virtue of its semblance to some psychopathological phenomena. We describe a patient with paranoid schizophrenia who developed a delusion about...

Diierential semblance velocity estimators have well-deened and smooth high frequency asymptotics. A version appropriate for analysis of CMP gathers and layered acoustic models has no secondary minima within a sublevel set of velocity prooles, independent of data frequency content, unlike other estimators such as stack power and output least squares. The sublevel set is characterized by the inte...