1133 search results - page 188 / 227 » Best Practices in e-Assessment |
113
click to vote
DAC
2003
ACM
16 years 25 days ago
2003
ACM
Combinational circuits are generally thought of as acyclic structures. It is known that cyclic structures can be combinational, and techniques have been proposed to analyze cyclic...
117
click to vote
DAC
2003
ACM
16 years 25 days ago
2003
ACM
This paper considers the role of performance and area estimates from behavioral synthesis in design space exploration. We have developed a compilation system that automatically ma...
SIGSOFT
2002
ACM
16 years 17 days ago
2002
ACM
Program slicing is a potentially useful analysis for aiding program understanding. However, slices of even small programs are often too large to be generally useful. Imprecise poi...
105
click to vote
WWW
2008
ACM
16 years 16 days ago
2008
ACM
In many cases, rather than a keyword search, people intend to see what is going on through the Internet. Then the integrated comprehensive information on news topics is necessary,...
194
click to vote
PADL
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...