We develop an algebraic speci cation of the architecture of an abstract and simpli ed version of the Java Virtual Machine (JVM). This concentration on the implementation-independent features of the machine allows us to build a clean and easily comprehensible model in which its structure is emphasised. We then axiomatise the semantics of programs operating on this architecture. We also consider ...

Tlie control of a doubly-fed induction machine (DFM) with a id without tlie use of a rotor position encoder is examined. First, a stator fliix linkage oriented control scheme for power and speed control, with a position encoder, shows the high performance control capabilities of this control arrangement and serves a s foundation for the sensorless scheme. The power-control method is then applie...

This paper presents an ongoing research project, started in March 2010 and sponsored by the Swiss National Science Foundation, which aims at improving machine translation output in terms of textual coherence. Coherence in text is mainly due to inter-sentential dependencies. Statistical Machine Translation (SMT) systems, currently sentence-based, often fail to translate these dependencies correc...

Configuration problem in storage system is one of the well recognized issues in today’s enterprise environment. Traditional approaches usually reply on deep knowledge of the underlying system. However, such solution usually cannot scale up when the system become large and complex. Recent research work has started using machine learning techniques to improve the overall performance of the diagno...

Automatic Grid resource discovery and brokerage shields the Grid middleware complexities from the Grid users and leads towards an invisible but simple and robust Grid. Realizing this vision requires a machine understandable resource description and powerful correlation 1 mechanism. Semantic technologies like ontologies provide vocabularies with explicitly defined, unambiguously understandable a...

Electric Autonomous Vehicles (EAVs) promise to be an effective way to solve transportation issues such as accidents, emissions and congestion, and aim at establishing the foundation of Machine-to-Machine (M2M) economy. For this to be possible the market should be able to offer appropriate charging services without involving humans. The state-ofthe-art mechanisms of charging and billing do not m...

We investigate whether the π-calculus is able to serve as a good foundation for the design and implementation of a strongly-typed concurrent programming language. The first half of the dissertation examines whether the π-calculus supports a simple type system which is flexible enough to provide a suitable foundation for the type system of a concurrent programming language. The second half of th...

Virtual machines can greatly simplify wide-area distributed computing by lowering the level of abstraction to the benefit of both resource providers and users. Networking, however, can be a challenge because remote sites are loath to provide connectivity to any machine attached to the site network by outsiders. In response, we have developed a simple and efficient layer two virtual network tool...

Current connectionist simulations require huge computational resources. We describe a neural network simulator for the IBM GF11, an experimental SIMD machine with 566 processors and a peak arithmetic performance of 11 Gigaflops. We present our parallel implementation of the backpropagation learning algorithm, techniques for increasing efficiency, performance measurements on the NetTalk text-to-...

Due to the size and material changes and the hard impurities of the cutting workpieces in the band sawing process, the load of the band saw blades changes greatly so as to easily break the blades. The load of the band saw blades in the cutting process is unbalanced so as to easily produce the deviation of the saw blade’s cutting path, even seriously affect the accuracy of the sawing. On the occ...