4438 search results - page 156 / 888 » The Case for Collaborative Programming |
159
click to vote
IVS
2006
15 years 6 months ago
2006
A research program at Cornell University that sought to study the ability of first and second grade children to acquire basic science concepts and the effect of this learning on l...
221
click to vote
PLDI
1996
ACM
15 years 10 months ago
1996
ACM
Building compilers that generate correct code is difficult. In this paper we present a compiler testing technique that closes the gap between actual compiler implementations and c...
175
click to vote
DSN
2008
IEEE
16 years 29 days ago
2008
IEEE
It is critical to guarantee the reliability of serviceoriented applications. This is because they may employ remote Web Services as components, which may easily become unavailable...
165
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Mesh simplification is a mainstream technique to render graphics responsively in modern graphical software. However, the graphical nature of the output poses a test oracle problem...
193
click to vote
MOR
2007
15 years 6 months ago
2007
This paper studies the possibilities of the Linear Matrix Inequality (LMI) characterization of the matrix cones formed by nonnegative complex Hermitian quadratic functions over sp...