BibSonomy :: author :: Mycroft ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(75)

<< < 1 | 2 | 3 > >>

Extending monads with pattern matching.
Tomas Petricek, Alan Mycroft, and Don Syme Haskell, page 1-12. ACM, (2011)
to dblp by dblp on Jan 13, 2012, 12:00 AM
URL | BibTeX
Lazy Pointer Analysis
Uday P. Khedker, Alan Mycroft, and Prashant Singh Rawat CoRR (2011)
to dblp by dblp on Jan 1, 2012, 12:00 AM
URL | BibTeX
On Integration of Programming Paradigms.
Alan Mycroft ACM Comput. Surv. 28(2):309-311 (1996)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Critical-Path-Guided Interactive Parallelisation.
Jonathan Mak, and Alan Mycroft ICPP Workshops, page 427-436. IEEE, (2011)
to dblp by dblp on Oct 28, 2011, 12:00 AM
URL | BibTeX
Efficient and Correct Stencil Computation via Pattern Matching and Static Typing
Dominic A. Orchard, and Alan Mycroft DSL, volume 66 of EPTCS, page 68-92. (2011)
to dblp by dblp on Oct 17, 2011, 12:00 AM
URL | BibTeX
An approximate version of Sumnerʼs universal tournament conjecture.
Daniela Kühn, Richard Mycroft, and Deryk Osthus J. Comb. Theory, Ser. B 101(6):415-447 (2011)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
Petri-nets as an Intermediate Representation for Heterogeneous Architectures.
Peter Calvert, and Alan Mycroft Euro-Par 2, volume 6853 of Lecture Notes in Computer Science, page 226-237. Springer, (2011)
to dblp by dblp on Aug 23, 2011, 12:00 AM
URL | BibTeX
Task Partitioning for Multi-core Network Processors.
Robert Ennals, Richard Sharp, and Alan Mycroft CC, volume 3443 of Lecture Notes in Computer Science, page 76-90. Springer, (2005)
to dblp by dblp on Aug 8, 2011, 12:00 AM
URL | BibTeX
Abstract Interpretation of Combinational Asynchronous Circuits.
Sarah Thompson, and Alan Mycroft SAS, volume 3148 of Lecture Notes in Computer Science, page 181-196. Springer, (2004)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
Linear Types for Packet Processing.
Robert Ennals, Richard Sharp, and Alan Mycroft ESOP, volume 2986 of Lecture Notes in Computer Science, page 204-218. Springer, (2004)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Using Multiple Memory Access Instructions for Reducing Code Size.
Neil Johnson, and Alan Mycroft CC, volume 2985 of Lecture Notes in Computer Science, page 265-280. Springer, (2004)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Spatial Security Policies for Mobile Agents in a Sentient Computing Environment.
David Scott, Alastair R. Beresford, and Alan Mycroft FASE, volume 2621 of Lecture Notes in Computer Science, page 102-117. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
Combined Code Motion and Register Allocation Using the Value State Dependence Graph.
Neil Johnson, and Alan Mycroft CC, volume 2622 of Lecture Notes in Computer Science, page 1-16. Springer, (2003)
to dblp by dblp on Jul 5, 2011, 12:00 AM
URL | BibTeX
A Polymorphic Type System for Prolog.
Alan Mycroft, and Richard A. O'Keefe Artif. Intell. 23(3):295-307 (1984)
to dblp by dblp on Jun 30, 2011, 12:00 AM
URL | BibTeX
Hardware Synthesis Using SAFL and Application to Processor Design.
Alan Mycroft, and Richard Sharp CHARME, volume 2144 of Lecture Notes in Computer Science, page 13-39. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
A Higher-Level Language for Hardware Synthesis.
Richard Sharp, and Alan Mycroft CHARME, volume 2144 of Lecture Notes in Computer Science, page 228-243. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Soft Scheduling for Hardware.
Richard Sharp, and Alan Mycroft SAS, volume 2126 of Lecture Notes in Computer Science, page 57-72. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Hardware/Software Co-Design Using Functional Languages.
Alan Mycroft, and Richard Sharp TACAS, volume 2031 of Lecture Notes in Computer Science, page 236-251. Springer, (2001)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
Redux: A Dynamic Dataflow Tracer.
Nicholas Nethercote, and Alan Mycroft Electr. Notes Theor. Comput. Sci. 89(2):149-170 (2003)
to dblp by dblp and 1 other user on Jun 22, 2011, 12:00 AM
URL | BibTeX
A Statically Allocated Parallel Functional Language.
Alan Mycroft, and Richard Sharp ICALP, volume 1853 of Lecture Notes in Computer Science, page 37-48. Springer, (2000)
to dblp by dblp on Jun 21, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100