N O V E M B E R / D E C E M B E R 2 0 1 4 www.insidegnss.com Efficient power transmission and distribution would benefit from synchronized near–real-time measurements of voltage and current phasors at widely dispersed locations in an electric power grid. Such measurements also could enable effective realtime system monitoring and control, which are considered to be the key to preventing wide-sc...

Hypermedia systems are evolutionary in nature. This paper presents SEM-HP, a model based on a semantic, systemic and evolutionary perspective, which facilitates the management of hypermedia evolution during the whole lifecycle process. Following the model the architecture of hypermedia systems can be conceived as composed of three sub-systems (conceptual, presentation and navigation) and two ab...

Many scientific and engineering applications are naturally expressed in terms of dense matrix or vector algorithms. This paper presents an FGPA-based matrix acceleration engine that improves the performance of dense matrix and vector algorithms. The engine offloads common data management tasks normally performed by processing resources onto a dedicated sequencer. The sequencer adopts an event-b...

One of the current methods for developing task control software for robots is a layering approach. This approach generally consists of a symbolic planner, a task sequencer, and a behavioral robotic controller. The task sequencer is responsible for taking a command from an abstract plan and selecting which robot level actions and behaviors to execute. This representation leads to a robust functi...

A new layered multicast scheme known as loss differentiated multicast congestion control architecture is proposed to provide effective congestion control in heterogeneous multicast networks. It is comprised of two components, the random early detection assisted layered multicast (RALM) and the layer marking discovery protocol (LMDP). The RALM protocol utilises the packet marking and priority dr...

Refinement calculus [1,5] is a formal framework for reasoning about program correctness and correctness preserving program refinements. It serves as the foundation for an object-oriented software architecture and construction method that we refer to as stepwise feature introduction (SFI) [3]. Characteristic for this approach is that each software module is described in terms of thin layers. Eac...

Quantum computer architecture is a systematic approach to organizing the resources of a quantum computer. We approach this problem by proposing a layered framework which can be a template for any circuit-model quantum computer. In particular, this framework is modular and promotes fault-tolerance. Modularity is important for making manageable the unique engineering challenges associated with la...

-Layered architecture is proposed for solving a class o f regularization problems in image processing. There are two major hurdles in the implementation of regularization filters with second or higher order smoothness constraints: ( a ) Stability: With second or higher order constraints, a direct implementation of a regularization filter necessitates negative conductance which, in turn, gives r...

While a number of privacy-enhancing technologies have been proposed over the past quarter century, very little has been done to generalise the notion. Privacy-enhancing technologies have typically been discussed for specific applications (such as confidential and/or anonymous e-mail) or in specific contexts (such as on the Internet). This paper takes cognisance of existing privacy-enhancing tec...

This paper argues that real-time control systems should be structured in abstraction layers in provide adequate instruction formalisms for both task specification and for low level control, and that the design information used when specifying the system should be included in the encoding of the abstraction barrier. When this design information is available, describing the semantics of the abstr...