10707 search results - page 125 / 2142 » Designing executable abstractions |
233
click to vote
AVI
2000
15 years 4 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...
119
click to vote
ASPDAC
2010
ACM
15 years 1 months ago
2010
ACM
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...
149
click to vote
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
CONCUR
1989
Springer
15 years 7 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
118
click to vote
CSUR
2000
15 years 3 months ago
2000
Many object-oriented frameworks exhibit a high density of design pattern applications. Usually, there are more instances in a framework than there are abstract classes. Yet, only ...