6581 search results - page 96 / 1317 » Formalizing Design Patterns |
150
Voted
CLUSTER
2003
IEEE
15 years 8 months ago
2003
IEEE
Dynamic programming is an important algorithm design technique in computational biology and scientific computing. Typical applications using this technique are very compute-intens...
133
click to vote
ER
2004
Springer
15 years 8 months ago
2004
Springer
: This paper describes the development of an open source CASE tool, the ArgoCASEGEO, and its modular architecture. The ArgoCASEGEO allows the geographic database modelling based on...
116
click to vote
ATVA
2009
Springer
15 years 6 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
127
Voted
WMTE
2002
IEEE
15 years 7 months ago
2002
IEEE
Wireless and mobile devices are beginning to offer stunning new technical capabilities for collaborative learning. Yet, researchers in this field must recognize the importance of ...
119
click to vote
SOSE
2006
IEEE
15 years 9 months ago
2006
IEEE
Design of service-oriented applications differs from design of the component-based applications in granularity, abstraction and dynamic environment in which binding between client...