517 search results - page 24 / 104 » Specification transformers: a predicate transformer approach... |
TOPLAS
1998
13 years 8 months ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
EUROMICRO
1998
IEEE
14 years 22 days ago
1998
IEEE
This paper suggests a new image compression scheme, using the discrete wavelet transformation (DWT), which is based on attempting to preserve the texturally important image charac...
HPCA
2007
IEEE
14 years 8 months ago
2007
IEEE
If-conversion is a compiler technique that reduces the misprediction penalties caused by hard-to-predict branches, transforming control dependencies into data dependencies. Althou...
ECOWS
2008
Springer
13 years 10 months ago
2008
Springer
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
ICDE
2007
IEEE
14 years 9 days ago
2007
IEEE
In business-to-business e-commerce, traditional electronic data interchange (EDI) approaches such as UN/EDIFACT have been superseded by approaches like web services and ebXML. Nev...