15754 search results - page 2824 / 3151 » Programs are Knowledge Bases |
223
click to vote
WFLP
2000
Springer
15 years 11 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
201
click to vote
HPCN
1995
Springer
15 years 11 months ago
1995
Springer
In the global economy, proper organisation and planning of production and storage locations, transportation and scheduling are vital to retain the competitive edge of companies. Th...
191
click to vote
ICTAI
1997
IEEE
15 years 11 months ago
1997
IEEE
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
222
click to vote
ICCAD
1995
IEEE
15 years 11 months ago
1995
IEEE
In this paper we investigate activity-driven clock trees to reduce the dynamic power consumption of synchronous digital CMOS circuits. Sections of an activity-driven clock tree ca...
191
click to vote
ICSE
1995
IEEE-ACM
15 years 11 months ago
1995
IEEE-ACM
Many would argue that future breakthroughs in software productivity will dependon our ability to combine existing pieces of software to produce new applications. An important step...