27274 search results - page 163 / 5455 » A framework for framework documentation |
162
click to vote
IEE
2007
15 years 6 months ago
2007
Because of the increasingly diverse and dynamic environments in which they must operate, modern middleware platforms need to explicitly support modifiability. Modifiability should...
142
click to vote
TVLSI
2008
15 years 6 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
156
click to vote
EWC
2002
15 years 6 months ago
2002
An object-oriented (OO) framework for Partial tial Equations (PDEs) provides software abstractions for numerical simulation of PDEs. The design of such frameworks is not trivial, a...
