The vnode interface has succeeded in supporting a wide range of file system implementations over its 6-year history. During that time it has also had to accommodate evolution in file system semantics, and in the relationship between the file system and the virtual memory system. The effects of this evolution have been less than elegant, and pressures for further evolution are mounting. The evol...

The concentrations and relative abundances of aquatic hyphomycete conidia in water were followed during a three-year study in two headwater streams at Coweeta Hydrologic Laboratory, North Carolina, using the membrane-filtration technique. After a one-year pretreatment period, one of the streams was enriched continuously with inorganic nutrients (N+P) for two years while the other stream served ...

The male sex of Tyloridasataraensis Kulkarni, 2014 is described based on specimens from the type locality. The distinguishing characters from its closest species Tyloridaventralis (Thorell, 1877) are detailed. An interesting behaviour of going underwater by T.sataraensis, on disturbance is recorded and tested for significance. The surveys have shown sighting of this species only to the perennia...

This paper describes a new idea of rapid protocol implementation starting from its formal specification, namely to generate Unix STREAMS modules. We have exercised this idea using Estelle formal specification technique. The generator was written for Linux system. The paper demonstrates how the semantic problems were resolved and gives some conclusions from generations we have performed.

According to the ISO-IEC 9126-1 standard [5], interoperability is a software functionality sub-characteristic defined as “the capability of the software product to interact with one or more specified systems”. In order to interact with other systems a DLBS must conform to the standard input formats and must be able to perform standard inference services. In our setting, the standard input forma...

Process intensification refers to technologies and strategies that enable simpler and more efficient processes compared to conventional processes. Some features of such intensified processes are less recycle streams, reduced need for waste handling and lower investment and operating costs compared to conventional processes. One way of doing this is by making two or more process steps simultaneo...

Most automatic programming research has focused on programs which terminate and which produce output values upon termination. By contrast, programs which operate on streams of data usually do not terminate and usually produce streams of output data during execution. Such stream programs may be specified with a technique which is a generalization of specification techniques for conventional prog...

We introduce a query language over sensors, streams and relations and formally describe its semantics. Although the language was specifically designed for sensor network querying, where data is pulled into streams, the semantics contributed in the paper also encompasses the case in which data is pushed onto streams or else lies stored in classical relations. The approach taken is that continuou...

ion from C H bonds. The impinging H is simply reflected from the n-hexane surface with reduced intensity due to charge neutralization at the molecular solid.