7580 search results - page 318 / 1516 » Prometheus design tool |
124
click to vote
HVC
2007
Springer
15 years 11 months ago
2007
Springer
The paper presents a new approach to formal verification of generic (i.e. parametrised) hardware designs specified in VHDL. The proposed approach is based on a translation of suc...
115
Voted
WETICE
2005
IEEE
15 years 10 months ago
2005
IEEE
This article presents methodological issues on evaluation related to the design process of the tool being evaluated. We emphasize the different variables which are important to ta...
144
click to vote
TES
2005
Springer
15 years 10 months ago
2005
Springer
The development of composite Web services is still not as simple as the original vision indicated. Currently, the designer of a composite service needs to consider many different ...
128
Voted
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
Problem Solving Environments have a well established position as an essential tool for computational science. We focus our attention in this article on how to provide parallel com...
164
Voted
CLUSTER
2003
IEEE
15 years 10 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...