Oxford Index Search Results

You are looking at 1-10 of 111 items for:

Higher x Computer Science x clear all

Refine by type

Refine by product

 

Higher

Overview page. Subjects: Education.

Equivalent to Scottish Credit and Qualifications Framework level 6, this is a qualification taken by students in Scotland who have achieved passes in Standard Grades at Credit level or...

See overview in Oxford Index

Auditing accessibility of UK Higher Education web sites

David Sloan, Peter Gregor, Paul Booth and Lorna Gibson.

in Interacting with Computers

July 2002; p ublished online July 2002 .

Journal Article. Subjects: Human-Computer Interaction. 4646 words.

Given the increasingly important role the World Wide Web plays as an information source, and yet with the continuing problems that certain individuals, particularly those with disabilities...

Go to Oxford Journals »  abstract

Mahalanobis Distance Similarity Measure Based Higher Order Optimal Distinguisher

Hailong Zhang and Yongbin Zhou.

in The Computer Journal

August 2017; p ublished online February 2017 .

Journal Article. Subjects: Computer Science. 9278 words.

Abstract

Higher order side channel attacks (HOSCAs) exploit the side channel leakages of a masked crypto device at multiple leakage samples to recover the...

Go to Oxford Journals »  home page

Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions

Norman Ramsey.

in The Computer Journal

January 1999; p ublished online January 1999 .

Journal Article. Subjects: Computer Science. 0 words.

Many language processors make assumptions after detecting an error. If the assumptions are invalid, a compiler may issue a cascade of error messages in which only the first represents a...

Go to Oxford Journals »  abstract

Computational thinking

Subrata Dasgupta.

in Computer Science

March 2016; p ublished online March 2016 .

Chapter. Subjects: Computer Science. 2295 words.

What is computational thinking? The AI researcher Paul Rosenbloom’s interpretation focuses on two relationships: interaction (a ‘reciprocal action, effect or influence’ between two...

Go to Very Short Introductions »  abstract

Saving Energy in Wireless Local Area Sensor Networks

Jaime Lloret, Sandra Sendra, Hugo Coll and Miguel Garcia.

in The Computer Journal

December 2010; p ublished online December 2009 .

Journal Article. Subjects: Computer Science. 0 words.

Many wireless sensor network developers have adopted Bluetooth and Zigbee technologies for sensor communication. However, it has a big problem: the radio coverage is very short; so many...

Go to Oxford Journals »  abstract

Design of Reconfigurable VLSI Architecture for Hybrid Arithmetic in $GF(2^m)$

Chang N. Zhang and Hua Li.

in The Computer Journal

January 2003; p ublished online January 2003 .

Journal Article. Subjects: Computer Science. 0 words.

In this paper, a redundant canonical basis representation with the irreducible all one polynomial (AOP) is defined. Three novel designs of a multiplier in a redundant canonical basis over...

Go to Oxford Journals »  home page

Event-Driven High-Priority First Data Scheduling Scheme for P2P VoD Streaming

Pingshan Liu, Guimin Huang, Shengzhong Feng and Jianping Fan.

in The Computer Journal

February 2013; p ublished online September 2012 .

Journal Article. Subjects: Computer Science. 0 words.

The peer churn rate in the peer-to-peer (P2P) video-on-demand streaming service is much higher than in the P2P live streaming service, which makes the data scheduling problem more...

Go to Oxford Journals »  abstract

Treating Partiality in a Logic of Total Functions

O. Müller and K. Slind.

in The Computer Journal

January 1997; p ublished online January 1997 .

Journal Article. Subjects: Computer Science. 0 words.

The need to use partial functions arises frequently in formal descriptions of computer systems. However, most proof assistants are based on logics of total functions. One way to address this...

Go to Oxford Journals »  abstract

A Thread of HOL Development

Michael Norrish and Konrad Slind.

in The Computer Journal

January 2002; p ublished online January 2002 .

Journal Article. Subjects: Computer Science. 0 words.

The HOL system is a mechanized proof assistant for higher-order logic that has been under continuous development since the mid-1980s, by an ever-changing group of developers and external...

Go to Oxford Journals »  abstract

Reuse Detector: Improving the Management of STT-RAM SLLCs

R Rodríguez-Rodríguez, J Díaz, F Castro, P Ibáñez, D Chaver, V Viñals, J C Saez, M Prieto-Matias, L Piñuel, T Monreal and J M Llabería.

in The Computer Journal

June 2018; p ublished online October 2017 .

Journal Article. Subjects: Computer Science. 13930 words.

Abstract

Various constraints of Static Random Access Memory (SRAM) are leading to consider new memory technologies as candidates for building on-chip shared...

Go to Oxford Journals »  home page