Browsing Scholarly Works  Computer Science and Technology by Title
Now showing items 250269 of 378

Natural deduction as higherorder resolution
(19860101) 
NetFPGA  Rapid Prototyping of High Bandwidth Devices in Open Source
(IEEE, 2015)The demandled 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
(ACM, 20150817)The demandled 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
(20140715)The demandled 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
(Association for Computing Machinery, 20160904)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 highlevel features and enables ... 
Nominal Presentation of Cubical Sets Models of Type Theory
(Dagstuhl Publishing, 20150616)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
(Association for Computing Machinery, 20160217)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
(IEEE, 20160324)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
(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 `convexconcave' ... 
OFLOPSTurbo: Testing the NextGeneration OpenFlow switch
(IEEE, 20150515)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
(IEEE, 20170301)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 FixedPoint Logics
(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 vehiclelike cavities with reverberation chambers
(IEEE, 20141017)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
(Taylor & Francis, 20160621)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 marketplaces are used to buy and sell identity and financial ... 
An Operational Semantics for C/C++11 Concurrency
(Association for Computing Machinery, 20161019)The C/C++11 concurrency model balances two goals: it is relaxed enough to be efficiently implementable and (leaving aside the "thinair" problem) it is strong enough to give useful guarantees to programmers. It is ... 
Optimising node selection probabilities in multihop M/D/1 queuing networks to reduce the latency of Tor
(Institute of Engineering and Technology, 20140811)In this paper the expected cell latency for multihop 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
(IEEE, 20150205)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
(IEEE, 20150205)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. ...