These lecture notes describe how to write generating extensions, i.e., dedicated program specializers. The focus is on compositional programs and their associated fold functions. Each generating extension is expressed as an instance of this fold function. A number of examples are considered and pointers to related work are provided. ∗Lecture notes for Marktoberdorf’99, extended version. †Basic ...

The last few decades has seen a huge transformation in the way businesses are conducted. There has been a paradigm shift from product portfolio based marketing strategies to customer focused marketing strategies. The growth and diversity of the market has greatly profited consumers through higher availability, better quality and lower prices. The same factors however has made it more difficult ...

efJicient storage hierorchies generally involves the repeated running of " typical " program address traces through a simulated storage system while various hierarchy design parameters are djusted. This paper describes a new and eficient method of determining, in one pass of an address trace, performance measures for a large class of demand-paged, multilevel storage systems utilizing a variety ...

Blepharoptosis (ptosis) is one of the most common eyelid disorders encountered in ophthalmology. A detailed history and exam are crucial in the evaluation of a patient presenting with ptosis. This provides the correct guidelines for surgical planning. The appropriate surgical technique is usually determined by the degree of ptosis and levator function. The surgeon should have an armamentarium o...

Within the DIECOFIS framework, ec3, the Division of Business Statistics from the Vienna University of Economics and Business Administration and ISTAT worked together to find methods to create a comprehensive database of enterprise data required for taxation microsimulations via integration of existing disparate enterprise data sources. This paper provides an overview of the broad spectrum of in...

Cryptography techniques play an important role in modern world. The purpose of such techniques is to ensure the contents being unreadable to anyone except for parties who agreed to use some specific scheme. Moreover, current cryptography techniques provide more sophisticated services, such as message integrity, authentication, time stamping, and many others. There are two main approaches for cr...

In the last decade digital watermarking techniques have been devised to answer the ever-growing need to protect the intellectual property of digital still images, video sequences or audio from piracy attacks. Because of the proliferation of watermarking algorithms and their applications some benchmarks have been created in order to help watermarkers comparing their algorithms in terms of robust...