463 search results - page 75 / 93 » Design and Evaluation of an Automated Aspect Mining Tool |
ICWE
2004
Springer
15 years 2 months ago
2004
Springer
In this paper we thoroughly discuss design and implementation issues for semantic search and navigation to ontology-based metrics and indicators metadata. These semantic search and...
SIGIR
2003
ACM
15 years 2 months ago
2003
ACM
Most information retrieval technologies are designed to facilitate information discovery. However, much knowledge work involves finding and re-using previously seen information. W...
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
65
Voted
DAC
2003
ACM
15 years 10 months ago
2003
ACM
Cyclic circuits that do not hold state or oscillate are often the most convenient representation for certain functions, such as arbiters, and can easily be produced inadvertently ...
93
Voted
DAC
2003
ACM
15 years 10 months ago
2003
ACM
This paper presents a novel instruction encoding generation technique for use in architecture exploration for application specific processors. The underlying exploration methodolo...