Computers are used by the general public for an increasing number of tasks where security is an important aspect. Most of the computers are used to execute potentially malicious applications, often without the user’s knowledge, alongside applications that process sensitive data. The common security functions of the current common operating systems do not provide sufficient protection of the con...

Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operating systems were ever formally verified, despite the fact that an operating system is a critical part of almost any other software system. This paper points out several key design choices which should make the formal v...

The work reported here forms part of a larger project to develop 'Techniques for User-Programmable Image Processing' (TUPIP). The objective in this project is to develop a system in which image interpretation tasks can be specified without the need for a detailed understanding of programming techniques and interpretation strategies. The aim is to demonstrate how a system able to operate from a ...

In SoC no. of IP block inside it depends upon specific application, increase in the Ip block increases no. of digital control lines causes increase in the size of the chip. GPIO helps internal IP blocks to share digital control lines using MUX and avoids additional circuitry. Since design productivity cannot follow the pace of nanoelectronics technology innovation, it has been required to devel...

Case-based reasoning (CBR) can be defined as the task of solving a new problem by remembering a previous related situation and of course reusing information and knowledge of that situation. Using a CBR system in structural health monitoring saves both time and money because accidents such as bridge collapses can be avoided. CBR systems also are used e.g. for medical support, credit decision tas...

Sequence design has turned out to be a crucial factor in successful DNA computing. In this paper, we present a support system for sequence design in DNA computing. Our system can fit various requirements for sequence design. The β-version of this software is available for download.

A time series is a sequence of data points in which the order of the data points is important. In many cases, each data point consists of both inputs and outputs. The reason that the time order of such a time series is important may be that at a certain time instant, the outputs are determined not only by the current inputs, but also by some of the more recent inputs and outputs. If we extend t...

VarietyCash is a new electronic money system which strikes a balance between functionality, security, and user privacy. The system can encompass both network and stored-value card based payment mechanisms, with transferability between them, hence the name. Department of Computer Science & Engineering, Mail Code 0114, University of California at San Diego, 9500 Gilman Drive, La Jolla, CA 92093, ...

In scientific computing, the use of parallelism has led to widespread improvements in the performance of complex computations. However, there are many non-scientific general purpose applications that could also benefit from the modest use of parallelism. The users of these applications generally work in offices possessing large networks of PCs. If programmers could only write programs that coul...