4079 search results - page 606 / 816 » Differential Testing for Software |
130
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Knowledge workers making sense of a topic divide their time among activities including searching for information, reading, and taking notes. We have built a software system that s...
135
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
144
click to vote
ECBS
2010
IEEE
15 years 11 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
154
Voted
CLUSTER
2009
IEEE
15 years 11 months ago
2009
IEEE
—We present and analyze two new communication libraries, cudaMPI and glMPI, that provide an MPI-like message passing interface to communicate data stored on the graphics cards of...
146
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, a one-pass multi-layer rate-distortion optimization algorithm is proposed for quality scalable video coding. To improve the overall coding efficiency, the MB mode ...