| 2007 |
|---|
| 11 | EE | Liqian Luo,
Qing Cao,
Chengdu Huang,
Tarek F. Abdelzaher,
John A. Stankovic,
Michael Ward:
EnviroMic: Towards Cooperative Storage and Retrieval in Audio Sensor Networks.
ICDCS 2007: 34 |
| 10 | EE | Michael Ward,
Neil C. Audsley:
A Deterministic Implementation Process for Accurate and Traceable System Timing and Space Analysis.
RTCSA 2007: 432-440 |
| 2006 |
|---|
| 9 | EE | Neil C. Audsley,
Michael Ward:
Syntax-driven implementation of software programming language control constructs and expressions on FPGAs.
CASES 2006: 253-260 |
| 2005 |
|---|
| 8 | EE | Marijke De Soete,
Michael Ward:
EMV.
Encyclopedia of Cryptography and Security 2005 |
| 2002 |
|---|
| 7 | EE | Michael Ward,
Neil C. Audsley:
Language Issues of Compiling Ada to Hardware.
Ada-Europe 2002: 88-99 |
| 6 | EE | Michael Ward,
Neil C. Audsley:
Hardware implementation of the Ravenscar Ada tasking profile.
CASES 2002: 59-68 |
| 5 | EE | Michael Ward,
Neil C. Audsley:
Hardware Implementation of Programming Languages for Real-Tim.
IEEE Real Time Technology and Applications Symposium 2002: 276-285 |
| 2001 |
|---|
| 4 | EE | Michael Ward,
Neil C. Audsley:
Hardware compilation of sequential Ada.
CASES 2001: 99-107 |
| 1998 |
|---|
| 3 | EE | Robert E. Strom,
Guruduth Banavar,
Tushar Deepak Chandra,
Marc Kaplan,
Kevan Miller,
Bodhi Mukherjee,
Daniel C. Sturman,
Michael Ward:
Gryphon: An Information Flow Based Approach to Message Brokering
CoRR cs.DC/9810019: (1998) |
| 2 | | Robert E. Strom,
Guruduth Banavar,
Kevan Miller,
Atul Prakash,
Michael Ward:
Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects.
IEEE Trans. Computers 47(4): 458-471 (1998) |
| 1997 |
|---|
| 1 | | Robert E. Strom,
Guruduth Banavar,
Kevan Miller,
Atul Prakash,
Michael Ward:
Concurrency Control and View Notification Algorithms for Collaborative Replicated Objects.
ICDCS 1997: 0- |
