Michael D. Moffitt

According to our database, Michael D. Moffitt authored at least 33 papers between 2005 and 2023.

Collaborative distances:

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

2023

MiniMalloc: A Lightweight Memory Allocator for Hardware-Accelerated Machine Learning.

Michael D. Moffitt

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

Search Strategies for Topological Network Optimization.

Michael D. Moffitt

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2018

Optimal Multi-Way Number Partitioning.

Ethan L. Schreiber, Richard E. Korf, Michael D. Moffitt

J. ACM, 2018

2014

Optimal Sequential Multi-Way Number Partitioning.

Richard E. Korf, Ethan L. Schreiber, Michael D. Moffitt

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2014

2013

Search Strategies for Optimal Multi-Way Number Partitioning.

Michael D. Moffitt

Proceedings of the IJCAI 2013, 2013

Place and route for massively parallel hardware-accelerated functional verification.

Michael D. Moffitt, Gernot E. Günther, Kevin A. Pasnik

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2013

Multidimensional Bin Packing Revisited.

Michael D. Moffitt

Proceedings of the Principles and Practice of Constraint Programming, 2013

2011

On the modelling and optimization of preferences in constraint-based temporal reasoning.

Michael D. Moffitt

Artif. Intell., 2011

Robust partitioning for hardware-accelerated functional verification.

Michael D. Moffitt, Mátyás A. Sustik, Paul G. Villarrubia

Proceedings of the 48th Design Automation Conference, 2011

Wire synthesizable global routing for timing closure.

Michael D. Moffitt, Chin Ngai Sze

Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011

Scalable Scheduling for Hardware-Accelerated Functional Verification.

Michael D. Moffitt, Gernot E. Günther

Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

2010

Speeding Up Physical Synthesis with Transactional Timing Analysis.

David A. Papa, Michael D. Moffitt, Charles J. Alpert, Igor L. Markov

IEEE Des. Test Comput., 2010

Optimal rectangle packing.

Richard E. Korf, Michael D. Moffitt, Martha E. Pollack

Ann. Oper. Res., 2010

What makes a design difficult to route.

Charles J. Alpert, Zhuo Li, Michael D. Moffitt, Gi-Joon Nam, Jarrod A. Roy, Gustavo E. Téllez

Proceedings of the 2010 International Symposium on Physical Design, 2010

2009

Global routing revisited.

Michael D. Moffitt

Proceedings of the 2009 International Conference on Computer-Aided Design, 2009

2008

Constraint-driven floorplan repair.

Michael D. Moffitt, Jarrod A. Roy, Igor L. Markov, Martha E. Pollack

ACM Trans. Design Autom. Electr. Syst., 2008

RUMBLE: An Incremental Timing-Driven Physical-Synthesis Optimization Algorithm.

David A. Papa, Tao Luo, Michael D. Moffitt, Chin Ngai Sze, Zhuo Li, Gi-Joon Nam, Charles J. Alpert, Igor L. Markov

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

MaizeRouter: Engineering an Effective Global Router.

Michael D. Moffitt

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

The coming of age of (academic) global routing.

Michael D. Moffitt, Jarrod A. Roy, Igor L. Markov

Proceedings of the 2008 International Symposium on Physical Design, 2008

Path smoothing via discrete optimization.

Michael D. Moffitt, David A. Papa, Zhuo Li, Charles J. Alpert

Proceedings of the 45th Design Automation Conference, 2008

2007

Efficient and expressive extensions of constraint-based temporal reasoning.

Michael D. Moffitt

PhD thesis, 2007

Generalizing Temporal Controllability.

Michael D. Moffitt, Martha E. Pollack

Proceedings of the IJCAI 2007, 2007

On the Partial Observability of Temporal Uncertainty.

Michael D. Moffitt

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Constraint-driven floorplan repair.

Michael D. Moffitt, Aaron N. Ng, Igor L. Markov, Martha E. Pollack

Proceedings of the 43rd Design Automation Conference, 2006

Optimal Rectangle Packing: A Meta-CSP Approach.

Michael D. Moffitt, Martha E. Pollack

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

Temporal Preference Optimization as Weighted Constraint Satisfaction.

Michael D. Moffitt, Martha E. Pollack

Proceedings of the Proceedings, 2006

2005

Active preference learning for personalized calendar scheduling assistance.

Melinda T. Gervasio, Michael D. Moffitt, Martha E. Pollack, Joseph M. Taylor, Tomás E. Uribe

Proceedings of the 10th International Conference on Intelligent User Interfaces, 2005

Applying Local Search to Disjunctive Temporal Problems.

Michael D. Moffitt, Martha E. Pollack

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Identifying Conflicts in Overconstrained Temporal Problems.

Mark H. Liffiton, Michael D. Moffitt, Martha E. Pollack, Karem A. Sakallah

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Partial Constraint Satisfaction of Disjunctive Temporal Problems.

Michael D. Moffitt, Martha E. Pollack

Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

Solving Over-constrained Disjunctive Temporal Problems with Preferences.

Bart Peintner, Michael D. Moffitt, Martha E. Pollack

Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005), 2005

A Personalized Time Management Assistant: Research Directions.

Pauline M. Berry, Melinda T. Gervasio, Tomás E. Uribe, Martha E. Pollack, Michael D. Moffitt

Proceedings of the Persistent Assistants: Living and Working with AI, 2005

Augmenting Disjunctive Temporal Problems with Finite-Domain Constraints.

Michael D. Moffitt, Bart Peintner, Martha E. Pollack

Proceedings of the Proceedings, 2005