1089 search results - page 43 / 218 » Oracle-Based Partial Evaluation |
CADE
2010
Springer
14 years 10 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
APLAS
2010
ACM
14 years 10 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
TITB
2008
14 years 9 months ago
2008
In recent years, there has been a rapid increase in the size and number of medical image collections. Thus, the development of appropriate methods for medical information retrieval...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— We consider a multiple input single output antenna system with a feedback link. While most of the previous works have considered perfect feedback channels, in this paper, we ev...
GFKL
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. A central task when integrating data from different sources is to detect identical items. For example, price comparison websites have to identify offers for identical p...