David Jeffery

According to our database, David Jeffery authored at least 9 papers between 1999 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

Traffic operations from open to dedicated e-Lane.

Pengjun Zheng, David Jeffery, Mike McDonald

Proceedings of the 13th International IEEE Conference on Intelligent Transportation Systems, 2010

Challenges & directions in distributed event-based systems for a web-scale enterprise.

David Jeffery

Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems, 2010

2009

State management and concurrency in event processing.

Alexander Kozlenkov, David Jeffery, Adrian Paschke

Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, 2009

2006

Validation of capacity reductions in traffic monitoring systems.

Pengjun Zheng, Mike McDonald, David Jeffery

Proceedings of the IEEE Intelligent Transportation Systems Conference, 2006

2001

Optimizing Compilation of Constraint Handling Rules.

Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey

Proceedings of the Logic Programming, 17th International Conference, 2001

Building Constraint Solvers with HAL.

Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur

Proceedings of the Logic Programming, 17th International Conference, 2001

2000

Type Classes in Mercury.

David Jeffery, Fergus Henderson, Zoltan Somogyi

Proceedings of the 23rd Australasian Computer Science Conference (ACSC 2000), 31 January, 2000

1999

Run Time Type Information in Mercury.

Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas C. Conway, David Jeffery

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

MCORBA: A CORBA Binding for Mercury.

David Jeffery, Tyson Dowd, Zoltan Somogyi

Proceedings of the Practical Aspects of Declarative Languages, 1999