Sciweavers

DAC
2001
ACM
14 years 5 months ago
Re-Configurable Computing in Wireless
Wireless communications requires a new approach to implement the algorithms for new standards. The computational demands of these standards are outstripping the ability of traditi...
Bill Salefski, Levent Caglar
DAC
2001
ACM
14 years 5 months ago
Energy Efficient Fixed-Priority Scheduling for Real-Time Systems on Variable Voltage Processors
Energy consumption has become an increasingly important consideration in designing many real-time embedded systems. Variable voltage processors, if used properly, can dramatically...
Gang Quan, Xiaobo Hu
DAC
2001
ACM
14 years 5 months ago
An Approach to Incremental Design of Distributed Embedded Systems
Paul Pop, Petru Eles, Traian Pop, Zebo Peng
DAC
2001
ACM
14 years 5 months ago
Using Symbolic Algebra in Algorithmic Level DSP Synthesis
Armita Peymandoust, Giovanni De Micheli
DAC
2001
ACM
14 years 5 months ago
Speeding Up Control-Dominated Applications through Microarchitectural Customizations in Embedded Processors
We present a methodology for microarchitectural customization of embedded processors by exploiting application information, thus attaining the twin benefits of processor standardi...
Peter Petrov, Alex Orailoglu
DAC
2001
ACM
14 years 5 months ago
Publicly Detectable Techniques for the Protection of Virtual Components
Highlighted with the newly released intellectual property (IP) protection white paper by VSI Alliance, the protection of virtual components (VCs) has received a large amount of at...
Gang Qu
DAC
2001
ACM
14 years 5 months ago
Chaff: Engineering an Efficient SAT Solver
Boolean Satisfiability is probably the most studied of combinatorial optimization/search problems. Significant effort has been devoted to trying to provide practical solutions to ...
Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao,...
DAC
2001
ACM
14 years 5 months ago
Scalable Hybrid Verification of Complex Microprocessors
Maher N. Mneimneh, Fadi A. Aloul, Christopher T. W...