Michael Butler

20 papers A* 4B 3C 1Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2022 J jnl
DevFemOps: enhancing maintainability based on microservices using formal engineering methods.
Connect. Sci.
Tetsuo Fukuzaki, Shaoying Liu, Michael Butler
2017 B conf
Clinically Significant Information Extraction from Radiology Reports.
DocEng
Nidhin Nandhakumar, Ehsan Sherkat, Evangelos E. Milios, Hong Gu, Michael Butler
2016 B conf
An evolutionary optimization based interval type-2 fuzzy classification system for human behaviour recognition and summarisation.
SMC
Bo Yao, Hani Hagras, Jason J. Lepley, Robert Peall, Michael Butler
2016 — conf
Reasoned Modelling with Event-B.
SETSS
Michael Butler
2015 — conf
Exploration of "What-If" Scenarios: A Prototype for Research Buildings at Stanford's School of Medicine.
TSTIP@COSIT
Felicia Cleper-Borkovi, Sudha Hajela, Alexander Khainson, Zachary Deretsky, Michael Butler
2015 B conf
Improving Application Concurrency on GPUs by Managing Implicit and Explicit Synchronizations.
ICPADS
Michael Butler, Kittisak Sajjapongse, Michela Becchi
2013 — conf
Evaluation of the Microsoft Kinect for screening ACL injury.
EMBC
Erik E. Stone, Michael Butler, Aaron McRuer, Aaron Gray, Jeffrey Marks, Marjorie Skubic
2013 — conf
Microfluidic device for simultaneous pulsed electric field electroporation and dielectrophoresis studies of single biological cells.
I2MTC
Elham Salimi, Marija Nikolic-Jaric, Tim Cabel, Katrin Braasch, Vincent Jung, Michael Butler, Douglas J. Thomson, Greg E. Bridges
2013 — conf
Semi-automated detection of single cell signatures from a dielectrophoretic cytometer.
I2MTC
Bahareh Saboktakin Rizi, Ashlesha Bhide, Tim Cabel, Marija Nikolic-Jaric, Elham Salimi, Katrin Braasch, Michael Butler, Greg E. Bridges, Douglas J. Thomson
2011 J jnl
Bulldozer: An Approach to Multithreaded Compute Performance.
IEEE Micro
Michael Butler, Leslie Barnes, Debjit Das Sarma, Bob Gelinas
2011 J jnl
PERSPECTIVE - Organizational Cognitive Neuroscience.
Organ. Sci.
Carl Senior, Nick Lee, Michael Butler
2002 J jnl
A self-configuring and self-administering name system with dynamic address assignment.
ACM Trans. Internet Techn.
Paul Huck, Michael Butler, Amar Gupta, Michael Feng
2002 C conf
Global Education via the Web: The GloablEd Project.
ICCE
Scott W. Brown, Mark A. Boyer, Hayley J. Mayall, Paula R. Johnson, Lin Meng, Michael Butler, Kimberley Weir, Natalie Florea, Sally Reis
1993 A* conf
A comparative performance evaluation of various state maintenance mechanisms.
MICRO
Michael Butler, Yale N. Patt
1993 — —
Aggressive execution engines for surpassing single basic block execution.
Michael Butler
1992 A* conf
An investigation of the performance of various dynamic scheduling techniques.
MICRO
Michael Butler, Yale N. Patt
1991 A* conf
Single Instruction Stream Parallelism is Greater Than Two.
ISCA
Michael Butler, Tse-Yu Yeh, Yale N. Patt, Mitch Alsup, Hunter Scales, Michael Shebanow
1991 A* conf
The Effect of Real Data Cache Behavior on the Performance of a Microarchitecture that Supports Dynamic Scheduling.
MICRO
Michael Butler, Yale N. Patt
1990 — conf
An Area-Efficient Register Alias Table for Implementing HPS.
ICPP (1)
Michael Butler, Yale N. Patt
1985 J jnl
Post Office Protocol: Version 2.
RFC
Michael Butler, Jon Postel, Dale Chase, Joel Goldberger, Joyce K. Reynolds