 | 2009 |
| 12 |  | Liqian Luo,
Qing Cao,
Chengdu Huang,
Lili Wang,
Tarek F. Abdelzaher,
John A. Stankovic,
Michael Ward:
Design, implementation, and evaluation of EnviroMic: A storage-centric audio sensor network.
TOSN 5(3): (2009) |
| 2007 |
| 11 |  | 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 |  | Michael Ward,
Neil C. Audsley:
A Deterministic Implementation Process for Accurate and Traceable System Timing and Space Analysis.
RTCSA 2007: 432-440 |
| 2006 |
| 9 |  | Neil C. Audsley,
Michael Ward:
Syntax-driven implementation of software programming language control constructs and expressions on FPGAs.
CASES 2006: 253-260 |
| 2005 |
| 8 |  | Marijke De Soete,
Michael Ward:
EMV.
Encyclopedia of Cryptography and Security 2005 |
| 2002 |
| 7 |  | Michael Ward,
Neil C. Audsley:
Language Issues of Compiling Ada to Hardware.
Ada-Europe 2002: 88-99 |
| 6 |  | Michael Ward,
Neil C. Audsley:
Hardware implementation of the Ravenscar Ada tasking profile.
CASES 2002: 59-68 |
| 5 |  | 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 |  | Michael Ward,
Neil C. Audsley:
Hardware compilation of sequential Ada.
CASES 2001: 99-107 |
| 1998 |
| 3 |  | 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- |