Search Results - margaret+martonosi

2 Results Sort By:

IMPLEMENTATION OF BOOLEAN SATISFIABILITY WITH NON-CHRONOLOGICAL BACKTRACKING IN RECONFIGURABLE HARDWARE

Researchers at Princeton University have developed a novel method for implementing formula-specific Boolean Satisfiability solver circuits in configurable hardware. Princeton is currently seeking industrial collaborators to commercialize this technology. As the complexity of designing electronic systems increases, the effectiveness and efficiency...
Published: 11/30/2011   |   Inventor(s): Pranav Ashar, Margaret Martonosi, Peixin Zhong, Sharad Malik
Keywords(s): computers/software
Category(s): Computers and Software

Operand-Value-Based Optimizations To Reduce Processor Power Consumption

Researchers at Princeton University led by Professor Margaret Martonosi have developed a novel technology to dramatically reduce power consumption in commercial microprocessors. Princeton is currently seeking industrial collaborators to commercialize this technology. State of the art processor designs have been pushed towards 64-bit word-widths...
Published: 11/30/2011   |   Inventor(s): Margaret Martonosi, David Brooks
Keywords(s): computers/software
Category(s): Computers and Software