University of Kent

Displaying 1-13 of 13 results

  • White Papers // Jan 2013

    On-Line Predictive Thermal Management Under Peak Temperature Constraints for Practical Multi-Core Platforms

    The power and thermal issues have become one of the major design challenges for the development of modern computing systems. Developing an effective Dynamic thermal management algorithm for the practical multi-core computing system to deliver maximal throughput without encountering temperature emergencies becomes highly demanded. In this paper, the authors identify...

    Provided By University of Kent

  • White Papers // May 2012

    Multicore Scheduling for Lightweight Communicating Processes

    Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A typical process-oriented design involves the composition of a large number of small isolated component processes. These concurrent components allow for the scalable parallel execution of the resulting application on both shared-memory and distributed-memory...

    Provided By University of Kent

  • White Papers // Feb 2011

    Organizational Dynamics And Aggregate Fluctuations: The Role Of Financial Relationships

    This paper constructs a dynamic stochastic general equilibrium model in which labor reallocations between production and organizational tasks generate endogenous TFP movements and also amplify and propagate the effects of exogenous shocks on macroeconomic activity. Organizational tasks in the authors' model enhance financial relationships between firms and lenders, which lowers...

    Provided By University of Kent

  • White Papers // Jan 2011

    Incremental Clone Detection and Elimination for Erlang Programs

    A well-known bad code smell in refactoring and software maintenance is the existence of code clones, which are code fragments that are identical or similar to one another. This paper describes an approach to incrementally detecting 'Similar' code based on the notion of least-general common abstraction, or anti-uni cation, as...

    Provided By University of Kent

  • White Papers // Dec 2010

    The Financial Crisis: What Have Macroeconomists Learnt?

    The author outlines a simple roadmap for work in micro-founded models. Rather than abandoning the route to further micro-foundations and returning to ad hoc economics, the techniques the authors have used over the past two decades to develop micro-founded business cycle models will allow them to develop models with meaningful...

    Provided By University of Kent

  • White Papers // Oct 2010

    Regular Expression Matching Using Associative Memory

    This paper describes a method for the implementation of regular expression matching based on the use of a form of associative (or content addressable) memory. The regular expression matching is performed by converting the regular expression into a Deterministic Finite Automata, but then using associative memory to hold the state...

    Provided By University of Kent

  • White Papers // Jun 2010

    Refactoring Support for Modularity Maintenance in Erlang

    Low coupling between modules and high cohesion inside each module are key features of good software architecture. Systems written in modern programming languages generally start with some reasonably well-designed module structure, however with continuous feature additions, modifications and bug fixes, software modularity gradually deteriorates. So, there is a need for...

    Provided By University of Kent

  • White Papers // Mar 2010

    Alting Barriers: Synchronisation With Choice in Java Using JCSP

    Communicating Sequential Processes for Java (JCSP) is a mature library that implements CSP-derived concurrency primitives in Java. A JCSP system is a hierarchical network of autonomous processes communicating over synchronous (optionally buffered) channels, and multi-way synchronising through barriers. This paper presents a significant extension to the barrier mechanism: the fast...

    Provided By University of Kent

  • White Papers // Dec 2009

    Tax Policy For Economic Recovery And Growth

    This paper identifies tax policy that both speeds recovery from the current economic crisis and contributes to long-run growth. This is a challenge because short-term recovery requires increases in demand while long-term growth requires increases in supply. As short-term tax concessions can be hard to reverse, this implies that policies...

    Provided By University of Kent

  • White Papers // Sep 2009

    Aspects of CXXR Internals

    The CXXR project aims gradually to refactor the fundamental parts of the R interpreter from C into C++ whilst retaining the full functionality of the standard distribution of R. It is hoped that this will enable researchers more easily to enhance the functionality of R by allowing them to extend...

    Provided By University of Kent

  • White Papers // Aug 2009

    Programming Language Semantics Using Miranda

    This paper explains the use of the functional programming language Miranda as a vehicle for describing the semantics of imperative programming languages. It gives a concise description of various semantic features of Pascal-like languages (Pascal, Modula-2, Modula-3, Ada and so on) written using Miranda programming language. The paper is intended...

    Provided By University of Kent

  • White Papers // Jul 2009

    Prioritising Biosecurity Investment Between Protecting Agricultural And Environmental Systems

    This paper is motivated by the observation that there is a difference between the time paths of damage valuations for invasions which affect agricultural compared with environmental systems. In particular, unlike agricultural systems, studies have shown that the social valuation of an environmental system is likely to be exponentially positively...

    Provided By University of Kent

  • White Papers // Apr 2009

    SOLS: Self Organising Distributed Location Server for Wireless Ad Hoc Networks

    Ad hoc networks allow wireless devices to form a network without any pre-existing knowledge of configuration or topology. Large-scale networks consist of hundreds or more nodes and are unable to use traditional broadcast routing algorithms due to lack of scalability. Geographic algorithms use nodes' geographical locations to route traffic without...

    Provided By University of Kent

  • White Papers // Apr 2009

    SOLS: Self Organising Distributed Location Server for Wireless Ad Hoc Networks

    Ad hoc networks allow wireless devices to form a network without any pre-existing knowledge of configuration or topology. Large-scale networks consist of hundreds or more nodes and are unable to use traditional broadcast routing algorithms due to lack of scalability. Geographic algorithms use nodes' geographical locations to route traffic without...

    Provided By University of Kent

  • White Papers // Feb 2011

    Organizational Dynamics And Aggregate Fluctuations: The Role Of Financial Relationships

    This paper constructs a dynamic stochastic general equilibrium model in which labor reallocations between production and organizational tasks generate endogenous TFP movements and also amplify and propagate the effects of exogenous shocks on macroeconomic activity. Organizational tasks in the authors' model enhance financial relationships between firms and lenders, which lowers...

    Provided By University of Kent

  • White Papers // Dec 2010

    The Financial Crisis: What Have Macroeconomists Learnt?

    The author outlines a simple roadmap for work in micro-founded models. Rather than abandoning the route to further micro-foundations and returning to ad hoc economics, the techniques the authors have used over the past two decades to develop micro-founded business cycle models will allow them to develop models with meaningful...

    Provided By University of Kent

  • White Papers // Dec 2009

    Tax Policy For Economic Recovery And Growth

    This paper identifies tax policy that both speeds recovery from the current economic crisis and contributes to long-run growth. This is a challenge because short-term recovery requires increases in demand while long-term growth requires increases in supply. As short-term tax concessions can be hard to reverse, this implies that policies...

    Provided By University of Kent

  • White Papers // Jul 2009

    Prioritising Biosecurity Investment Between Protecting Agricultural And Environmental Systems

    This paper is motivated by the observation that there is a difference between the time paths of damage valuations for invasions which affect agricultural compared with environmental systems. In particular, unlike agricultural systems, studies have shown that the social valuation of an environmental system is likely to be exponentially positively...

    Provided By University of Kent

  • White Papers // May 2012

    Multicore Scheduling for Lightweight Communicating Processes

    Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A typical process-oriented design involves the composition of a large number of small isolated component processes. These concurrent components allow for the scalable parallel execution of the resulting application on both shared-memory and distributed-memory...

    Provided By University of Kent

  • White Papers // Sep 2009

    Aspects of CXXR Internals

    The CXXR project aims gradually to refactor the fundamental parts of the R interpreter from C into C++ whilst retaining the full functionality of the standard distribution of R. It is hoped that this will enable researchers more easily to enhance the functionality of R by allowing them to extend...

    Provided By University of Kent

  • White Papers // Mar 2010

    Alting Barriers: Synchronisation With Choice in Java Using JCSP

    Communicating Sequential Processes for Java (JCSP) is a mature library that implements CSP-derived concurrency primitives in Java. A JCSP system is a hierarchical network of autonomous processes communicating over synchronous (optionally buffered) channels, and multi-way synchronising through barriers. This paper presents a significant extension to the barrier mechanism: the fast...

    Provided By University of Kent

  • White Papers // Jan 2011

    Incremental Clone Detection and Elimination for Erlang Programs

    A well-known bad code smell in refactoring and software maintenance is the existence of code clones, which are code fragments that are identical or similar to one another. This paper describes an approach to incrementally detecting 'Similar' code based on the notion of least-general common abstraction, or anti-uni cation, as...

    Provided By University of Kent

  • White Papers // Oct 2010

    Regular Expression Matching Using Associative Memory

    This paper describes a method for the implementation of regular expression matching based on the use of a form of associative (or content addressable) memory. The regular expression matching is performed by converting the regular expression into a Deterministic Finite Automata, but then using associative memory to hold the state...

    Provided By University of Kent

  • White Papers // Jun 2010

    Refactoring Support for Modularity Maintenance in Erlang

    Low coupling between modules and high cohesion inside each module are key features of good software architecture. Systems written in modern programming languages generally start with some reasonably well-designed module structure, however with continuous feature additions, modifications and bug fixes, software modularity gradually deteriorates. So, there is a need for...

    Provided By University of Kent

  • White Papers // Aug 2009

    Programming Language Semantics Using Miranda

    This paper explains the use of the functional programming language Miranda as a vehicle for describing the semantics of imperative programming languages. It gives a concise description of various semantic features of Pascal-like languages (Pascal, Modula-2, Modula-3, Ada and so on) written using Miranda programming language. The paper is intended...

    Provided By University of Kent

  • White Papers // Jan 2013

    On-Line Predictive Thermal Management Under Peak Temperature Constraints for Practical Multi-Core Platforms

    The power and thermal issues have become one of the major design challenges for the development of modern computing systems. Developing an effective Dynamic thermal management algorithm for the practical multi-core computing system to deliver maximal throughput without encountering temperature emergencies becomes highly demanded. In this paper, the authors identify...

    Provided By University of Kent