David Halliwell

According to our database, David Halliwell authored at least 2 papers between 2004 and 2012.

Collaborative distances:

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

2012

Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports.

Tim Blackmore, David Halliwell, Philip Barker, Kerstin Eder, Naresh Ramaram

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2004

Architectural Characterization of an XML-Centric Commercial Server Workload.

Padma Apparao, Ravi R. Iyer, Ricardo Morin, Naren Nayak, Mahesh Bhat, David Halliwell, William Steinberg

Proceedings of the 33rd International Conference on Parallel Processing (ICPP 2004), 2004