96 search results - page 16 / 20 » Module interconnection features in object-oriented developme... |
96
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
107
click to vote
DAGSTUHL
2006
15 years 1 months ago
2006
This paper presents a method of constructing pre-routed FPGA cores which lays the foundations for a rapid system construction framework for dynamically reconfigurable computing sy...
103
click to vote
RECOMB
2006
Springer
15 years 12 months ago
2006
Springer
Computational and comparative analysis of protein-protein interaction (PPI) networks enable understanding of the modular organization of the cell through identification of functio...
113
click to vote
KBSE
2002
IEEE
15 years 4 months ago
2002
IEEE
GenVoca is a methodology and technology for generating product-lines, i.e. building variants of a program. The primitive components from which applications are constructed are ref...
87
Voted
TAICPART
2006
IEEE
15 years 5 months ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...