5972 search results - page 1129 / 1195 » Extending Design Environments to Software Architecture Desig... |
112
click to vote
COMPUTER
2002
15 years 1 months ago
2002
rs use models or abstractions that hide low-level implementation details. Various kinds of representations such as data models, state-transition models, and dataflow models can hel...
110
click to vote
LCPC
2005
Springer
15 years 7 months ago
2005
Springer
We briefly introduce the notion of Semantically Enhanced Library Languages, SELL, as a practical and economical alternative to special-purpose programming languages for high-perfo...
130
click to vote
PEPM
1999
ACM
15 years 5 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
134
click to vote
AOSD
2008
ACM
15 years 3 months ago
2008
ACM
We have reimplemented the frontend of the extensible AspectBench Compiler for AspectJ, using the aspect-oriented meta-compiler JastAdd. The original frontend was purely object-ori...
DAC
2000
ACM
16 years 2 months ago
2000
ACM
Recently, intellectual property protection (IPP) techniques attracted a great deal of attention from semiconductor, system integration and software companies. A number of watermar...