3481 search results - page 205 / 697 » A New Approach to Component Testing |
121
click to vote
CEC
2010
IEEE
15 years 1 months ago
2010
IEEE
Extremal optimisation (EO) is a relatively recent nature-inspired heuristic whose search method is especially suitable to solve combinatorial optimisation problems. To date, most o...
103
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper we introduce a new technique for estimating the parameters of the Keplerian model commonly used in radial velocity data analysis for extrasolar planet detection. The...
136
click to vote
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
132
click to vote
EUSAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this article we identify the general communication patterns of physical devices and define all interfaces and conflict resolution strategies that are present in any ...
118
click to vote
HVC
2007
Springer
15 years 10 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...