Michael Butler

Orcid: 0000-0002-4907-3652

According to our database1, Michael Butler authored at least 20 papers between 1985 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

1985
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
1
2
1
1
1
2
2
3
1
1
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
DevFemOps: enhancing maintainability based on microservices using formal engineering methods.
Connect. Sci., 2022

2017
Clinically Significant Information Extraction from Radiology Reports.
Proceedings of the 2017 ACM Symposium on Document Engineering, 2017

2016
An evolutionary optimization based interval type-2 fuzzy classification system for human behaviour recognition and summarisation.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Reasoned Modelling with Event-B.
Proceedings of the Engineering Trustworthy Software Systems - Second International School, 2016

2015
Improving Application Concurrency on GPUs by Managing Implicit and Explicit Synchronizations.
Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

Exploration of "What-If" Scenarios: A Prototype for Research Buildings at Stanford's School of Medicine.
Proceedings of the Workshop on Teaching Spatial Thinking from Interdisciplinary Perspectives, 2015

2013
Microfluidic device for simultaneous pulsed electric field electroporation and dielectrophoresis studies of single biological cells.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2013

Semi-automated detection of single cell signatures from a dielectrophoretic cytometer.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2013

Evaluation of the Microsoft Kinect for screening ACL injury.
Proceedings of the 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2013

2011
PERSPECTIVE - Organizational Cognitive Neuroscience.
Organ. Sci., 2011

Bulldozer: An Approach to Multithreaded Compute Performance.
IEEE Micro, 2011

2002
A self-configuring and self-administering name system with dynamic address assignment.
ACM Trans. Internet Techn., 2002

Global Education via the Web: The GloablEd Project.
Proceedings of the International Conference on Computers in Education, 2002

1993
Aggressive execution engines for surpassing single basic block execution.
PhD thesis, 1993

A comparative performance evaluation of various state maintenance mechanisms.
Proceedings of the 26th Annual International Symposium on Microarchitecture, 1993

1992
An investigation of the performance of various dynamic scheduling techniques.
Proceedings of the 25th Annual International Symposium on Microarchitecture, 1992

1991
The Effect of Real Data Cache Behavior on the Performance of a Microarchitecture that Supports Dynamic Scheduling.
Proceedings of the 24th Annual IEEE/ACM International Symposium on Microarchitecture, 1991

Single Instruction Stream Parallelism is Greater Than Two.
Proceedings of the 18th Annual International Symposium on Computer Architecture. Toronto, 1991

1990
An Area-Efficient Register Alias Table for Implementing HPS.
Proceedings of the 1990 International Conference on Parallel Processing, 1990

1985
Post Office Protocol: Version 2.
RFC, February, 1985


  Loading...