2314 search results - page 175 / 463 » Monoids over domains |
108
click to vote
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Automatic program specialization can derive efficient implementations from generic components, thus reconciling the often opposing goals of genericity and efficiency. Thi...
101
click to vote
AGP
1998
IEEE
15 years 6 months ago
1998
IEEE
The subject of groundness analysis for (constraint) logic programs has been widely studied, and interesting domains have been proposed. Pos has been recognized as the most suitabl...
106
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...
129
click to vote
ACSAC
2006
IEEE
15 years 5 months ago
2006
IEEE
Active worms pose major security threats to the Internet. In this paper, we investigate a new class of active worms, i.e., Camouflaging Worm (C-Worm in short). The C-Worm has the ...
105
click to vote
CGI
2004
IEEE
15 years 5 months ago
2004
IEEE
Photon tracing and density estimation are well established techniques in global illumination computation and rendering of high-quality animation sequences. Using traditional densi...