Now showing items 250-269 of 378

    • Natural deduction as higher-order resolution 

      Paulson, Lawrence Charles (1986-01-01)
    • NetFPGA - Rapid Prototyping of High Bandwidth Devices in Open Source 

      Zilberman, Noa; Audzevich, Yury; Kalogeridou, Georgina; Bojan, Neelakandan Manihatty; Zhang, Jingyun; Moore, Andrew William (IEEE, 2015)
      The demand-led growth of datacenter networks has meant that many constituent technologies are beyond the budget of the wider community. In order to make and validate timely and relevant new contributions, the wider community ...
    • NetFPGA - Rapid Prototyping of Networking Devices in Open Source 

      Zilberman, Noa; Audzevich, Yury; Kalogeridou, Georgina; Bojan, Neelakandan Manihatty; Zhang, Jingyun; Moore, Andrew William (ACM, 2015-08-17)
      The demand-led growth of datacenter networks has meant that many constituent technologies are beyond the budget of the wider community. In order to make and validate timely and relevant new contributions, the wider community ...
    • NetFPGA SUME: Toward Research Commodity 100Gb/s 

      Zilberman, Noa; Audzevich, Yury; Covington, G Adam; Moore, Andrew William (2014-07-15)
      The demand-led growth of datacenter networks has meant that many constituent technologies are beyond the budget of the research community. In order to make and validate timely and relevant research contributions, the wider ...
    • A New Verified Compiler Backend for CakeML 

      Tan, YK; Myreen, MO; Kumar, R; Fox, Anthony Charles; Owens, S; Norrish, M (Association for Computing Machinery, 2016-09-04)
      We have developed and mechanically verified a new compiler backend for CakeML. Our new compiler features a sequence of intermediate languages that allows it to incrementally compile away high-level features and enables ...
    • Nominal Presentation of Cubical Sets Models of Type Theory 

      Pitts, Andrew Mawdesley (Dagstuhl Publishing, 2015-06-16)
      The cubical sets model of Homotopy Type Theory introduced by Bezem, Coquand and Huber uses a particular category of presheaves. We show that this presheaf category is equivalent to a category of sets equipped with an action ...
    • Nominal techniques 

      Pitts, Andrew (Association for Computing Machinery, 2016-02-17)
      Programming languages abound with features making use of names in various ways. There is a mathematical foundation for the semantics of such features which uses groups of permutations of names and the notion of the support ...
    • Nonconvex compressive sensing reconstruction for tensor using structures in modes 

      Ding, Xin; Chen, Wei; Wassell, Ian James (2016-03-24)
    • Nonconvex compressive sensing reconstruction for tensor using structures in modes 

      Ding, Xin; Chen, Wei; Wassell, Ian James (IEEE, 2016-03-24)
      This paper focuses on the reconstruction of a tensor captured using Compressive Sensing (CS). Instead of processing the signals via vectorization as is done in conventional CS, in tensor CS high dimensional signals are ...
    • A Novel Dynamic Reweighted Sparse Bayesian Learning Algorithm 

      Wang, Yu; Wipf, David; Chen, Wei; Wassell, Ian James (IEEE, 2014)
      We propose a novel dynamic reweighted ℓ2 (DRℓ2) algorithm in the regime of dynamic compressive sensing. Our analysis shows that aiming to solve a Type II optimization problem, DRℓ2 is effectively minimizing a `convex-concave' ...
    • OFLOPS-Turbo: Testing the Next-Generation OpenFlow switch 

      Rotsos, Charalampos; Antichi, Gianni; Bruyere, Marc; Owezarski, Philippe; Moore, Andrew William (IEEE, 2015-05-15)
      The heterogeneity barrier breakthrough achieved by the OpenFlow protocol is currently paced by the variability in performance semantics among network devices, which reduces the ability of applications to take complete ...
    • On microarchitectural mechanisms for cache wearout reduction 

      Valero, A; Miralaei, Negar; Petit, S; Sahuquillo, J; Jones, Timothy Martin (IEEE, 2017-03-01)
      Hot carrier injection (HCI) and bias temperature instability (BTI) are two of the main deleterious effects that increase a transistor's threshold voltage over the lifetime of a microprocessor. This voltage degradation ...
    • On Symmetric Circuits and Fixed-Point Logics 

      Anderson, Matthew; Dawar, Anuj (Springer, 2016)
      We study properties of relational structures, such as graphs, that are decided by families of Boolean circuits. Circuits that decide such properties are necessarily invariant to permutations of the elements of the ...
    • On the analogy between vehicle and vehicle-like cavities with reverberation chambers 

      Herbert, Steven; Loh, Tian-Hong; Wassell, Ian James; Rigelsford, Jonathan (IEEE, 2014-10-17)
      Deploying wireless systems in vehicles is an area of current interest. Often, it is implicitly assumed that the electromagnetic environment in vehicle cavities is analogous to that in reverberation chambers, it is therefore ...
    • The online stolen data market: disruption and intervention approaches 

      Hutchings, Alice; Holt, Thomas J (Taylor & Francis, 2016-06-21)
      This article brings a new taxonomy and collation of intervention and disruption methods that can be applied to the online stolen data market. These online market-places are used to buy and sell identity and financial ...
    • An Operational Semantics for C/C++11 Concurrency 

      Nienhuis, Kyndylan; Memarian, K; Sewell, Peter Michael (Association for Computing Machinery, 2016-10-19)
      The C/C++11 concurrency model balances two goals: it is relaxed enough to be efficiently implementable and (leaving aside the "thin-air" problem) it is strong enough to give useful guarantees to programmers. It is ...
    • Optimising node selection probabilities in multi-hop M/D/1 queuing networks to reduce the latency of Tor 

      Herbert, SJ; Murdoch, Steven James; Punskaya, Elena (Institute of Engineering and Technology, 2014-08-11)
      In this paper the expected cell latency for multi-hop M/D/1 queuing networks, where users choose nodes randomly according to some distribution, is derived. It is shown that the resulting optimisation surface is convex, and ...
    • Optimized Node Selection for Compressive Sleeping Wireless Sensor Networks 

      Chen, Wei; Wassell, Ian J. (IEEE, 2015-02-05)
      In this paper, we propose an active node selection framework for compressive sleeping wireless sensor networks (WSNs) in order to improve signal acquisition performance, network lifetime and the use of spectrum resources. ...
    • Optimized Node Selection for Compressive Sleeping Wireless Sensor Networks 

      Chen, Wei; Wassell, Ian James (IEEE, 2015-02-05)
      In this paper, we propose an active node selection framework for compressive sleeping wireless sensor networks (WSNs) in order to improve signal acquisition performance, network lifetime and the use of spectrum resources. ...