Heriot-Watt University

Displaying 1-21 of 21 results

  • White Papers // Jan 2013

    Securing a Cloud-Based Community Trust Store for Local P2P E-Commerce

    Peer-To-Peer(P2P) trading applications have much lower costs than conventional client-server systems because they avoid the use of third party service providers. However, a P2P trading application has to be secure and equitable to the peers involved in transactions. This cannot be achieved without the use of some kind of reliable...

    Provided By Heriot-Watt University

  • White Papers // Mar 2012

    Comparison of the Statistical Properties of the LTE-A and IMT-A Channel Models

    For the design and performance evaluation of advanced wireless communication systems employing Multiple-Input Multiple-Output (MIMO) technologies, realistic MIMO channel models with a good tradeoff between accuracy and complexity are indispensable. This paper compares the statistical properties of the two latest standardized MIMO channel models: Long Term Evolution-Advanced (LTE-A) and IMT-Advanced...

    Provided By Heriot-Watt University

  • White Papers // Jan 2012

    Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell

    The authors present the initial design, implementation and preliminary evaluation of a new distributed memory parallel Haskell, HdpH. The language is a shallowly embedded parallel extension of Haskell that supports high-level semi-explicit parallelism, is scalable, and has the potential for fault tolerance. The HdpH implementation is designed for maintainability without...

    Provided By Heriot-Watt University

  • White Papers // Jan 2012

    Adaptive High-Level Scheduling in a Generic Parallel Runtime Environment

    The authors present the design and prototype implementation of a Run-Time Environment (RTE) for the implicitly parallel execution of high-level languages. In their design a micro-kernel provides basic infrastructure, such as garbage collection, but all complex RTE operations, including the handling of parallelism, are implemented on a separate system level....

    Provided By Heriot-Watt University

  • White Papers // Jan 2012

    Autonomous Mobility Skeletons

    To manage load on large and dynamic networks the authors have developed Autonomous Mobile Programs (AMPs) that periodically use a cost model to decide where to execute. A disadvantage of directly programming AMPs is that the cost model, mobility decision function, and network interrogation are all explicit in the program....

    Provided By Heriot-Watt University

  • White Papers // Jul 2011

    Comparing High Level MapReduce Query Languages

    The MapReduce parallel computational model is of increasing importance. A number of High Level Query Languages (HLQLs) have been constructed on top of the Hadoop MapReduce realization, primarily Pig, Hive, and JAQL. This paper makes a systematic performance comparison of these three HLQLs, focusing on scale up, scale out and...

    Provided By Heriot-Watt University

  • White Papers // Jan 2011

    High-Level Distribution for the Rapid Production of Robust Telecoms Software: Comparing C++ and Erlang

    Currently most distributed telecoms software is engineered using low and mid-level distributed technologies, but there is a drive to use high-level distribution. This paper reports the first systematic comparison of a high-level distributed programming language in the context of substantial commercial products. The authors' research strategy is to re-engineer some...

    Provided By Heriot-Watt University

  • White Papers // Jul 2010

    Characterising E Ective Resource Analyses for Parallel and Distributed Coordination

    An important application of resource analysis is to improve the performance of parallel and distributed programs. In this paper key resources are time, space and communication. Given the spectrum of cost models and associated analysis techniques available, what combination should be selected for a specific parallel or distributed context? The...

    Provided By Heriot-Watt University

  • White Papers // Jun 2010

    Using Negotiation to Reduce Redundant Autonomous Mobile Program Movements

    Distributed load managers exhibit thrashing where tasks are repeatedly moved between locations due to incomplete global load information. This paper shows that systems of Autonomous Mobile Programs (AMPs) exhibit the same behaviour, identifying two types of redundant movement and terming them greedy effects. AMPs are unusual in that, in place...

    Provided By Heriot-Watt University

  • White Papers // Apr 2010

    Managing Group Membership in Ad Hoc M-Commerce Trading Systems

    Managing group membership in an ad hoc m-commerce trading forum is a challenging task as peers may only have partial knowledge of the current membership due to frequent network disconnections, infrequent participation and delays in communication via intermediaries among them. The absence of a centralized network infrastructure adds more complexity...

    Provided By Heriot-Watt University

  • White Papers // Apr 2010

    International Trade And Productivity: Firm-Level Evidence From Ukraine

    The paper empirically assesses microeconomic exporting-productivity nexus using the data for Ukrainian manufacturing firms for the years 2000-2005. The results of the estimation show that firms with higher Total Factor Productivity (TFP) levels in the period prior to entry are much more likely to enter export markets. Also age, size...

    Provided By Heriot-Watt University

  • White Papers // Apr 2010

    Ukrainian Firm-Level Export Dynamics: Structural Analysis

    The paper studies the dynamics of exporting activity at the extensive and intensive margins and its impact on the firm-level total factor productivity growth for Ukraine manufacturing and service sectors in 2000-2005. The estimation is performed for different types of export markets distinguishing between developed and developing countries; and for...

    Provided By Heriot-Watt University

  • White Papers // Oct 2009

    Digital Ecosystems: Evolving Service-Oriented Architectures

    The authors view Digital Ecosystems to be the digital counterparts of biological ecosystems, exploiting the self-organising properties of biological ecosystems, which are considered to be robust, self-organising and scalable architectures that can automatically solve complex, dynamic problems. Digital Ecosystems are a novel optimisation technique where the optimisation works at two...

    Provided By Heriot-Watt University

  • White Papers // Sep 2009

    Low Pain Vs No Pain Multi-Core Haskells

    Multicores are becoming the dominant processor technology and functional languages are theoretically well suited to exploit them. In practice, however, implementing effective high level parallel functional languages is extremely challenging. This paper is the first programming and performance comparison of functional multicore technologies and reports some of the first ever...

    Provided By Heriot-Watt University

  • White Papers // Aug 2009

    Multi-core parallelisation of Hume through structured transformation

    The authors have shown that it is possible to achieve good multicore parallelization of Hume programs through systematic transformation guided closely by the box calculus. The underlying implementation offers seamless parallelism without further programmer intervention. A major objective is to ensure that all boxes have roughly the same processing cost....

    Provided By Heriot-Watt University

  • White Papers // Jun 2009

    Worst-Case Execution Time Analysis Through Types

    construct a fully automatic static WCET analysis suitable for real-time embedded systems applications by augmenting a high-level static analysis technique (originally aimed at heap-space) with a machine-level worst-case execution time tool. The authors evaluate this approach by studying two typical and realistic real-time control applications, using a readily available commercial...

    Provided By Heriot-Watt University

  • White Papers // May 2009

    A Performance Comparison of MDSDV With AODV and DSDV Routing Protocols

    The authors present a systematic comparative evaluation of a new multipath routing protocol for MANETS. The new protocol, called Multipath Destination Sequenced Distance Vector (MDSDV) is compared with two known protocols DSDV and AODV. MDSDV finds disjoint paths which do not have any common nodes between a source and destination,...

    Provided By Heriot-Watt University

  • White Papers // May 2009

    MultiCore Parallelisation for Hume

    With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Hume is a novel formally-motivated programming language oriented to developing software where strong assurance of resource use is paramount, in particular embedded architecture. Functional programming languages, such as Hume, are, in principle, well placed to take...

    Provided By Heriot-Watt University

  • White Papers // Feb 2009

    Design Issues for Peer-to-Peer Massively Multiplayer Online Games

    Massively Multiplayer Online Games (MMOGs) are increasing in both popularity and scale, and while classical Client/Server architectures convey some benefits, they suffer from significant technical and commercial drawbacks. This realisation has sparked intensive research interest in adapting MMOGs to Peer-To-Peer (P2P) architectures. This paper articulates a comprehensive set of six...

    Provided By Heriot-Watt University

  • White Papers // Feb 2009

    Deadline-Driven Auctions for NPC Host Allocation in P2P MMOGs

    This paper presents the design, implementation and evaluation of Deadline-Driven Auctions (DDA), a novel task mapping infrastructure for heterogeneous distributed environments. DDA is primarily designed to support the hosting of Non-Player Characters (NPCs) in P2P Massively Multiplayer Online Games (MMOGs). Experimental and analytical results demonstrate that DDA provides four significant...

    Provided By Heriot-Watt University

  • White Papers // Nov 2008

    Cost-Driven Autonomous Mobility

    Autonomous Mobile Programs (AMPs) offer a novel de-centralised load management technology where periodic use is made of cost models to decide where to execute in a network. In this paper, the authors demonstrate how sequential programs can be automatically converted into AMPs. The AMPs are generated by an automatic continuation...

    Provided By Heriot-Watt University

  • White Papers // Jan 2013

    Securing a Cloud-Based Community Trust Store for Local P2P E-Commerce

    Peer-To-Peer(P2P) trading applications have much lower costs than conventional client-server systems because they avoid the use of third party service providers. However, a P2P trading application has to be secure and equitable to the peers involved in transactions. This cannot be achieved without the use of some kind of reliable...

    Provided By Heriot-Watt University

  • White Papers // Apr 2010

    Managing Group Membership in Ad Hoc M-Commerce Trading Systems

    Managing group membership in an ad hoc m-commerce trading forum is a challenging task as peers may only have partial knowledge of the current membership due to frequent network disconnections, infrequent participation and delays in communication via intermediaries among them. The absence of a centralized network infrastructure adds more complexity...

    Provided By Heriot-Watt University

  • White Papers // Oct 2009

    Digital Ecosystems: Evolving Service-Oriented Architectures

    The authors view Digital Ecosystems to be the digital counterparts of biological ecosystems, exploiting the self-organising properties of biological ecosystems, which are considered to be robust, self-organising and scalable architectures that can automatically solve complex, dynamic problems. Digital Ecosystems are a novel optimisation technique where the optimisation works at two...

    Provided By Heriot-Watt University

  • White Papers // Apr 2010

    International Trade And Productivity: Firm-Level Evidence From Ukraine

    The paper empirically assesses microeconomic exporting-productivity nexus using the data for Ukrainian manufacturing firms for the years 2000-2005. The results of the estimation show that firms with higher Total Factor Productivity (TFP) levels in the period prior to entry are much more likely to enter export markets. Also age, size...

    Provided By Heriot-Watt University

  • White Papers // Apr 2010

    Ukrainian Firm-Level Export Dynamics: Structural Analysis

    The paper studies the dynamics of exporting activity at the extensive and intensive margins and its impact on the firm-level total factor productivity growth for Ukraine manufacturing and service sectors in 2000-2005. The estimation is performed for different types of export markets distinguishing between developed and developing countries; and for...

    Provided By Heriot-Watt University

  • White Papers // May 2009

    A Performance Comparison of MDSDV With AODV and DSDV Routing Protocols

    The authors present a systematic comparative evaluation of a new multipath routing protocol for MANETS. The new protocol, called Multipath Destination Sequenced Distance Vector (MDSDV) is compared with two known protocols DSDV and AODV. MDSDV finds disjoint paths which do not have any common nodes between a source and destination,...

    Provided By Heriot-Watt University

  • White Papers // Jul 2010

    Characterising E Ective Resource Analyses for Parallel and Distributed Coordination

    An important application of resource analysis is to improve the performance of parallel and distributed programs. In this paper key resources are time, space and communication. Given the spectrum of cost models and associated analysis techniques available, what combination should be selected for a specific parallel or distributed context? The...

    Provided By Heriot-Watt University

  • White Papers // Jun 2009

    Worst-Case Execution Time Analysis Through Types

    construct a fully automatic static WCET analysis suitable for real-time embedded systems applications by augmenting a high-level static analysis technique (originally aimed at heap-space) with a machine-level worst-case execution time tool. The authors evaluate this approach by studying two typical and realistic real-time control applications, using a readily available commercial...

    Provided By Heriot-Watt University

  • White Papers // Feb 2009

    Design Issues for Peer-to-Peer Massively Multiplayer Online Games

    Massively Multiplayer Online Games (MMOGs) are increasing in both popularity and scale, and while classical Client/Server architectures convey some benefits, they suffer from significant technical and commercial drawbacks. This realisation has sparked intensive research interest in adapting MMOGs to Peer-To-Peer (P2P) architectures. This paper articulates a comprehensive set of six...

    Provided By Heriot-Watt University

  • White Papers // Feb 2009

    Deadline-Driven Auctions for NPC Host Allocation in P2P MMOGs

    This paper presents the design, implementation and evaluation of Deadline-Driven Auctions (DDA), a novel task mapping infrastructure for heterogeneous distributed environments. DDA is primarily designed to support the hosting of Non-Player Characters (NPCs) in P2P Massively Multiplayer Online Games (MMOGs). Experimental and analytical results demonstrate that DDA provides four significant...

    Provided By Heriot-Watt University

  • White Papers // May 2009

    MultiCore Parallelisation for Hume

    With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Hume is a novel formally-motivated programming language oriented to developing software where strong assurance of resource use is paramount, in particular embedded architecture. Functional programming languages, such as Hume, are, in principle, well placed to take...

    Provided By Heriot-Watt University

  • White Papers // Jan 2012

    Adaptive High-Level Scheduling in a Generic Parallel Runtime Environment

    The authors present the design and prototype implementation of a Run-Time Environment (RTE) for the implicitly parallel execution of high-level languages. In their design a micro-kernel provides basic infrastructure, such as garbage collection, but all complex RTE operations, including the handling of parallelism, are implemented on a separate system level....

    Provided By Heriot-Watt University

  • White Papers // Jan 2012

    Autonomous Mobility Skeletons

    To manage load on large and dynamic networks the authors have developed Autonomous Mobile Programs (AMPs) that periodically use a cost model to decide where to execute. A disadvantage of directly programming AMPs is that the cost model, mobility decision function, and network interrogation are all explicit in the program....

    Provided By Heriot-Watt University

  • White Papers // Jul 2011

    Comparing High Level MapReduce Query Languages

    The MapReduce parallel computational model is of increasing importance. A number of High Level Query Languages (HLQLs) have been constructed on top of the Hadoop MapReduce realization, primarily Pig, Hive, and JAQL. This paper makes a systematic performance comparison of these three HLQLs, focusing on scale up, scale out and...

    Provided By Heriot-Watt University

  • White Papers // Jan 2011

    High-Level Distribution for the Rapid Production of Robust Telecoms Software: Comparing C++ and Erlang

    Currently most distributed telecoms software is engineered using low and mid-level distributed technologies, but there is a drive to use high-level distribution. This paper reports the first systematic comparison of a high-level distributed programming language in the context of substantial commercial products. The authors' research strategy is to re-engineer some...

    Provided By Heriot-Watt University

  • White Papers // Jan 2012

    Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell

    The authors present the initial design, implementation and preliminary evaluation of a new distributed memory parallel Haskell, HdpH. The language is a shallowly embedded parallel extension of Haskell that supports high-level semi-explicit parallelism, is scalable, and has the potential for fault tolerance. The HdpH implementation is designed for maintainability without...

    Provided By Heriot-Watt University

  • White Papers // Nov 2008

    Cost-Driven Autonomous Mobility

    Autonomous Mobile Programs (AMPs) offer a novel de-centralised load management technology where periodic use is made of cost models to decide where to execute in a network. In this paper, the authors demonstrate how sequential programs can be automatically converted into AMPs. The AMPs are generated by an automatic continuation...

    Provided By Heriot-Watt University

  • White Papers // Sep 2009

    Low Pain Vs No Pain Multi-Core Haskells

    Multicores are becoming the dominant processor technology and functional languages are theoretically well suited to exploit them. In practice, however, implementing effective high level parallel functional languages is extremely challenging. This paper is the first programming and performance comparison of functional multicore technologies and reports some of the first ever...

    Provided By Heriot-Watt University

  • White Papers // Jun 2010

    Using Negotiation to Reduce Redundant Autonomous Mobile Program Movements

    Distributed load managers exhibit thrashing where tasks are repeatedly moved between locations due to incomplete global load information. This paper shows that systems of Autonomous Mobile Programs (AMPs) exhibit the same behaviour, identifying two types of redundant movement and terming them greedy effects. AMPs are unusual in that, in place...

    Provided By Heriot-Watt University

  • White Papers // Mar 2012

    Comparison of the Statistical Properties of the LTE-A and IMT-A Channel Models

    For the design and performance evaluation of advanced wireless communication systems employing Multiple-Input Multiple-Output (MIMO) technologies, realistic MIMO channel models with a good tradeoff between accuracy and complexity are indispensable. This paper compares the statistical properties of the two latest standardized MIMO channel models: Long Term Evolution-Advanced (LTE-A) and IMT-Advanced...

    Provided By Heriot-Watt University

  • White Papers // Aug 2009

    Multi-core parallelisation of Hume through structured transformation

    The authors have shown that it is possible to achieve good multicore parallelization of Hume programs through systematic transformation guided closely by the box calculus. The underlying implementation offers seamless parallelism without further programmer intervention. A major objective is to ensure that all boxes have roughly the same processing cost....

    Provided By Heriot-Watt University