1226 search results - page 136 / 246 » Generating Abstractions from Static Domain Analysis |
ADG
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. We propose an algorithm for automated recognition of computationally constructed curves and discuss several aspects of the recognition problem. Recognizing loci means det...
WCRE
1999
IEEE
14 years 13 days ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
MSN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Gossiping is a lightweight and simple technique for information dissemination in many application domains, be it in Wireless Sensor Networks (WSNs), Mobile Ad-hoc Network...
CICLING
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Professional translators of technical documents often use Translation Memory (TM) systems in order to capitalize on the repetitions frequently observed in these documents...
LCPC
2009
Springer
14 years 22 days ago
2009
Springer
Abstract. Current hardware trends place increasing pressure on programmers and tools to optimize scientific code. Numerous tools and techniques exist, but no single tool is a pana...