7139 search results - page 1266 / 1428 » Language Engineering in Practice |
134
click to vote
ACMICEC
2003
ACM
15 years 10 months ago
2003
ACM
Multi-organizational EDI message networks are complicated communication environments with various standards and technologies. The role of third party message exchange hubs has bec...
189
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...
157
click to vote
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
118
click to vote
PLDI
1999
ACM
15 years 9 months ago
1999
ACM
Load-reuse analysis finds instructions that repeatedly access the same memory location. This location can be promoted to a register, eliminating redundant loads by reusing the re...
174
click to vote
TOOLS
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...