4166 search results - page 195 / 834 » A modular module system |
170
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
110
click to vote
CAV
1999
Springer
15 years 8 months ago
1999
Springer
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...
164
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: Gene set enrichment testing has helped bridge the gap from an individual gene to a systems biology interpretation of microarray data. Although gene sets are defined a ...
121
click to vote
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
This paper details a new modular approach to virtual view creation that is designed to work in conjunction with a proposed scalable teleconferencing configuration. This scalable s...
137
click to vote
AOSD
2005
ACM
15 years 10 months ago
2005
ACM
Design patterns offer flexible solutions to common problems in software development. Recent studies have shown that several design patterns involve crosscutting concerns. Unfortun...