Michael D. Moffitt

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 3

Top Topics

Massively Parallel

Determine The Optimal Number

Top Venues

Publications

Michael D. Moffitt
MiniMalloc: A Lightweight Memory Allocator for Hardware-Accelerated Machine Learning. ASPLOS (4) (2023)
Michael D. Moffitt
Search Strategies for Topological Network Optimization. AAAI (2022)
Ethan L. Schreiber, Richard E. Korf, Michael D. Moffitt
Optimal Multi-Way Number Partitioning. J. ACM 65 (4) (2018)
Richard E. Korf, Ethan L. Schreiber, Michael D. Moffitt
Optimal Sequential Multi-Way Number Partitioning. ISAIM (2014)
Michael D. Moffitt
Search Strategies for Optimal Multi-Way Number Partitioning. IJCAI (2013)
Michael D. Moffitt
Multidimensional Bin Packing Revisited. CP (2013)
Michael D. Moffitt, Gernot E. Günther, Kevin A. Pasnik
Place and route for massively parallel hardware-accelerated functional verification. ICCAD (2013)
Michael D. Moffitt
On the modelling and optimization of preferences in constraint-based temporal reasoning. Artif. Intell. 175 (7-8) (2011)
Michael D. Moffitt, Mátyás A. Sustik, Paul G. Villarrubia
Robust partitioning for hardware-accelerated functional verification. DAC (2011)
Michael D. Moffitt, Chin Ngai Sze
Wire synthesizable global routing for timing closure. ASP-DAC (2011)
Michael D. Moffitt, Gernot E. Günther
Scalable Scheduling for Hardware-Accelerated Functional Verification. ICAPS (2011)
Richard E. Korf, Michael D. Moffitt, Martha E. Pollack
Optimal rectangle packing. Ann. Oper. Res. 179 (1) (2010)
Charles J. Alpert, Zhuo Li, Michael D. Moffitt, Gi-Joon Nam, Jarrod A. Roy, Gustavo E. Téllez
What makes a design difficult to route. ISPD (2010)
David A. Papa, Michael D. Moffitt, Charles J. Alpert, Igor L. Markov
Speeding Up Physical Synthesis with Transactional Timing Analysis. IEEE Des. Test Comput. 27 (5) (2010)
Michael D. Moffitt
Global routing revisited. ICCAD (2009)
Michael D. Moffitt, Jarrod A. Roy, Igor L. Markov
The coming of age of (academic) global routing. ISPD (2008)
Michael D. Moffitt, Jarrod A. Roy, Igor L. Markov, Martha E. Pollack
Constraint-driven floorplan repair. ACM Trans. Design Autom. Electr. Syst. 13 (4) (2008)
David A. Papa, Tao Luo, Michael D. Moffitt, Chin Ngai Sze, Zhuo Li, Gi-Joon Nam, Charles J. Alpert, Igor L. Markov
RUMBLE: an incremental, timing-driven, physical-synthesis optimization algorithm. ISPD (2008)
David A. Papa, Tao Luo, Michael D. Moffitt, Chin Ngai Sze, Zhuo Li, Gi-Joon Nam, Charles J. Alpert, Igor L. Markov
RUMBLE: An Incremental Timing-Driven Physical-Synthesis Optimization Algorithm. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (12) (2008)
Michael D. Moffitt
MaizeRouter: Engineering an effective global router. ASP-DAC (2008)
Michael D. Moffitt, David A. Papa, Zhuo Li, Charles J. Alpert
Path smoothing via discrete optimization. DAC (2008)
Michael D. Moffitt
MaizeRouter: Engineering an Effective Global Router. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (11) (2008)
Michael D. Moffitt
On the Partial Observability of Temporal Uncertainty. AAAI (2007)
Michael D. Moffitt, Martha E. Pollack
Generalizing Temporal Controllability. IJCAI (2007)
Michael D. Moffitt, Aaron N. Ng, Igor L. Markov, Martha E. Pollack
Constraint-driven floorplan repair. DAC (2006)
Michael D. Moffitt, Martha E. Pollack
Optimal Rectangle Packing: A Meta-CSP Approach. ICAPS (2006)
Michael D. Moffitt, Martha E. Pollack
Temporal Preference Optimization as Weighted Constraint Satisfaction. AAAI (2006)
Bart Peintner, Michael D. Moffitt, Martha E. Pollack
Solving Over-constrained Disjunctive Temporal Problems with Preferences. ICAPS (2005)
Melinda T. Gervasio, Michael D. Moffitt, Martha E. Pollack, Joseph M. Taylor, Tomás E. Uribe
Active preference learning for personalized calendar scheduling assistance. IUI (2005)
Michael D. Moffitt, Bart Peintner, Martha E. Pollack
Augmenting Disjunctive Temporal Problems with Finite-Domain Constraints. AAAI (2005)
Michael D. Moffitt, Martha E. Pollack
Applying Local Search to Disjunctive Temporal Problems. IJCAI (2005)
Mark H. Liffiton, Michael D. Moffitt, Martha E. Pollack, Karem A. Sakallah
Identifying Conflicts in Overconstrained Temporal Problems. IJCAI (2005)
Michael D. Moffitt, Martha E. Pollack
Partial Constraint Satisfaction of Disjunctive Temporal Problems. FLAIRS Conference (2005)
Pauline M. Berry, Melinda T. Gervasio, Tomás E. Uribe, Martha E. Pollack, Michael D. Moffitt
A Personalized Time Management Assistant: Research Directions. AAAI Spring Symposium: Persistent Assistants: Living and Working with AI (2005)