336 search results - page 28 / 68 » Simulation Approaches for Strongly Coupled Interconnect Syst... |
PPPJ
2003
ACM
15 years 2 months ago
2003
ACM
The object-oriented approach to software development facilitates and encourages programming practices that increase reusability, correctness and maintainability in code. This is a...
ISLPED
1999
ACM
15 years 2 months ago
1999
ACM
—Energy-efficient design of battery-powered systems demands optimizations in both hardware and software. We present a modular approach for enhancing instruction level simulators ...
DAC
2005
ACM
15 years 10 months ago
2005
ACM
Achieving design closure is one of the biggest headaches for modern VLSI designers. This problem is exacerbated by high-level design automation tools that ignore increasingly impo...
59
Voted
CCE
2005
14 years 9 months ago
2005
The Petlyuk distillation configuration has received considerable attention because of its efficiency to reduce the energy required for the separation of ternary mixtures. The stru...
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...