7991 search results - page 308 / 1599 » Using More Reasoning to Improve |
242
click to vote
ARC
2010
Springer
16 years 1 months ago
2010
Springer
Computing the solution to a system of linear equations is a fundamental problem in scientific computing, and its acceleration has drawn wide interest in the FPGA community [1–3]...
155
Voted
JSA
2006
15 years 6 months ago
2006
Interprocedural data flow analyses of executable programs suffer from the conservative assumptions that need to be made because no precise control flow graph is available and beca...
208
click to vote
SEAA
2008
IEEE
16 years 1 months ago
2008
IEEE
The quality evaluation of open source software (OSS) products, e.g., defect estimation and prediction approaches of individual releases, gains importance with increasing OSS adopt...
171
click to vote
DSRT
1999
IEEE
15 years 11 months ago
1999
IEEE
Serialization, the traditional method of resolving concurrent interactions, is often inappropriate; when interactions are dependent on each other, other policies for resolving the...
154
click to vote
SIGCSE
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes our experiences incorporating Java in a Data Structures course. We describe the features of Java that made for a more interesting course, the difficulties tha...