6102 search results - page 52 / 1221 » Generating Optimizing Specializers |
PEPM
1993
ACM
13 years 12 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
CIKM
2001
Springer
14 years 10 days ago
2001
Springer
In a wireless environment, the bandwidth of the channels and the energy of the portable devices are limited. Data broadcast has become an excellent method for efficient data disse...
ASIAN
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
DAC
1997
ACM
14 years 15 hour ago
1997
ACM
We present a novel technique CLIP for optimizing both the height and width of CMOS cell layouts in the two-dimensional (2D) style. CLIP is based on integer-linear programming (ILP...
ICMCS
2000
IEEE
14 years 7 days ago
2000
IEEE
In this paper, we propose a novel technique for video summarization based on the Singular Value Decomposition (SVD). For the input video sequence, we create a featureframe matrix ...