Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Mycroft, Alan - Computer Laboratory, University of Cambridge
Sliding Window Logic Simulation Sarah Thompson and Alan Mycroft
Object-Oriented ASIP Design and Synthesis Maziar Goudarzi1,2
Kilim: Isolation-Typed Actors for Java (A Million Actors, Safe Zero-Copy Communication)
Abstract Interpretation of Combinational Asynchronous Circuits
Task Partitioning for Multi-Core Network Processors
Software Thread-Level Speculation An Optimistic Library Implementation
Copyright 2003 IEEE. Published in the Proceedings of the Hawai'i International Conference on System Sciences,
Electronic Notes in Theoretical Computer Science 89 No. 2 (2003) URL: http://www.elsevier.nl/locate/entcs/volume89.html 22 pages
Spatial Policies for Sentient Mobile Applications David Scott, Alastair Beresford
Combined Code Motion and Register Allocation using the Value State Dependence Graph
Jones Optimality and Hardware Virtualization A Report on Work in Progress
Automatic Correction to Safety Violations in Programs Muhammad Umar Janjua Alan Mycroft
Using Multiple Memory Access Instructions for Reducing Code Size
Linear Types for Packet Processing Robert Ennals1
We unify virtual-method despatch (polymorphism im-plementation) and network packet-routing operations; vir-
Knowledge-Representation and Scalable Abstract Reasoning for Sentient Computing using First-Order Logic
