4355 search results - page 431 / 871 » From Interpretation to Compilation |
192
click to vote
KBSE
2003
IEEE
16 years 6 days ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
135
click to vote
ITICSE
2003
ACM
16 years 6 days ago
2003
ACM
This paper describes a simple Unix-based repository that supports programming intensive courses. Initially motivated by the need to capture sample artifacts for the capstone cours...
189
click to vote
ECOOP
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
195
click to vote
DATE
2002
IEEE
15 years 12 months ago
2002
IEEE
We present an area and delay estimator in the context of a compiler that takes in high level signal and image processing applications described in MATLAB and performs automatic de...
172
click to vote
EDBT
2010
ACM
15 years 11 months ago
2010
ACM
In adaptive query processing, the way in which a query is evaluated is changed in the light of feedback obtained from the environment during query evaluation. Such feedback may, f...