6054 search results - page 811 / 1211 » Implementation of Andorra-based Languages |
160
click to vote
SCAM
2006
IEEE
16 years 24 days ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
207
click to vote
SEW
2006
IEEE
16 years 24 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
209
click to vote
ACL2
2006
ACM
16 years 23 days ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
165
click to vote
HT
2006
ACM
16 years 23 days ago
2006
ACM
Metadata attempts to describe the content, format, purpose and structure of data. Over the past few years, the IEEE-LOM standard has dominated the metadata world in e-learning app...
170
click to vote
MSR
2006
ACM
16 years 23 days ago
2006
ACM
In the current trend of software engineering, software systems are viewed as clusters of overlapping structures representing various concerns, covering heterogeneous artifacts lik...