Recoil

Results: 237



#Item
31Software engineering / Computer programming / Computing / Subroutines / Electronic design automation / Compiler construction / Programming language implementation / Theoretical computer science / High-level synthesis / Recursion / Compiler / Inline expansion

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Higher-Level Techniques for Hardware Description and Synthesis Alan Mycroft, Richard Sharp

Add to Reading List

Source URL: rich.recoil.org

Language: English - Date: 2006-04-13 14:58:02
32Ubiquitous computing / Computing / Albrecht Schmidt / Gregory Abowd / Humancomputer interaction / Computer science / Human communication / Urban design / Urban planning / Cloud infrastructure / Ambient intelligence / Web engineering

MOBILE AND UBIQUITOUS SYSTEMS www.computer.org/pervasive The 2005 UbiApp Workshop: What Makes Good Application-Led Research?

Add to Reading List

Source URL: rich.recoil.org

Language: English - Date: 2005-07-29 08:43:04
33Software engineering / Computer programming / Computing / Subroutines / Functional languages / Programming language implementation / Procedural programming languages / Recursion / Standard ML / Compiler / Inline expansion / ML

The FLaSH Project Resource-Aware Synthesis of Declarative Specifications Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University

Add to Reading List

Source URL: rich.recoil.org

Language: English - Date: 2006-04-13 14:58:01
34Cross-platform software / Markup languages / Scripting languages / HTML / Object-oriented programming languages / Cross-site scripting / HTTP cookie / JavaScript / Form / PHP / Same-origin policy / Java

Abstracting Application-Level Web Security David Scott Richard Sharp Laboratory For Communications Engineering

Add to Reading List

Source URL: rich.recoil.org

Language: English - Date: 2006-04-13 14:58:03
35Ammunition / Ballistics / Acoustics / Aerodynamics / Recoil / Accurizing / Bullet / Potato cannon / Acoustic wave / Speed of sound / Velocity / Propellant

Acoustic Measurement of Potato Cannon Velocity Michael Courtney and Amy Courtney This article describes measurement of potato cannon velocity with a digitized microphone signal. A microphone is attached to the potato can

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2006-12-12 21:01:33
36Recursion / Computability theory / Theory of computation / Subroutines / Lambda calculus / Primitive recursive function / Fold / Mutual recursion / Higher-order function / Type system

A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University

Add to Reading List

Source URL: rich.recoil.org

Language: English - Date: 2006-04-13 14:58:01
37Telephony / New media / Media technology / Mobile computers / Mobile phones / Bluetooth / Mobile phone / Modem / Telecommunication / Ubiquitous computing / Telephone / Internet access

W I R E L E S S C O M M U N I CAT I O N Audio Networking: The Forgotten Wireless Technology Audio networking can leverage existing smart phone components to

Add to Reading List

Source URL: rich.recoil.org

Language: English - Date: 2005-08-24 07:40:55
38Scheduling / Arbiter / Thread / Subroutine

Soft Scheduling for Hardware Richard Sharp1,2 and Alan Mycroft1 1 Computer Laboratory, Cambridge University New Museums Site, Pembroke Street, Cambridge CB2 3QG, UK

Add to Reading List

Source URL: rich.recoil.org

Language: English - Date: 2006-04-13 14:58:02
39Computer networking / Packet processing / Procedural programming languages / Network processor / Transmission Control Protocol / ALGOL 68

Technical Report UCAM-CL-TR-578 ISSNNumber 578

Add to Reading List

Source URL: rich.recoil.org

Language: English - Date: 2006-04-13 14:58:02
40Hacking / Cross-platform software / Scripting languages / User interface techniques / HTML / Cross-site scripting / HTTP cookie / JavaScript / Form / Same-origin policy / Dynamic web page / Web application

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOL. 15, NO. 4,

Add to Reading List

Source URL: rich.recoil.org

Language: English - Date: 2006-04-19 16:08:00
UPDATE