1767 search results - page 287 / 354 » Open Source Ecology |
115
Voted
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
139
Voted
PVLDB
2010
15 years 2 months ago
2010
Query co-processing on graphics processors (GPUs) has become an effective means to improve the performance of main memory databases. However, this co-processing requires the data ...
159
Voted
SAS
2010
Springer
15 years 2 months ago
2010
Springer
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...
185
Voted
SIGCSE
2010
ACM
15 years 2 months ago
2010
ACM
In this paper, we present a series of programming projects based on the Linux kernel for students in a senior-level undergraduate operating systems course. The projects we describ...
145
Voted
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...