Inteum Company
Links
seedsprint
Visible Legacy
RSS
News & Resources
Inteum Company News
Inteum Library
Subscribe
Search Results - margaret+martonosi
2
Results
Sort By:
Published Date
Updated Date
Title
ID
Descending
Ascending
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: 6/28/2022
|
Inventor(s):
Pranav Ashar
,
Margaret Martonosi
,
Peixin Zhong
,
Sharad Malik
Keywords(s):
computers/software
Category(s):
Computer Science and Information Technology
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: 2/14/2024
|
Inventor(s):
Margaret Martonosi
,
David Brooks
Keywords(s):
computers/software
Category(s):
Computer Science and Information Technology