6800 search results - page 1012 / 1360 » Testing with Functions as Specifications |
152
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents one MEMS design tool with total six design flows, which makes it possible that the MEMS designers are able to choose the most suitable design flow for their sp...
169
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...
146
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The focus of this work is on the analysis of transmit beamforming schemes with a low-rate feedback link in wireless sensor/relay networks, where nodes in the network need to imple...
177
click to vote
DEBU
2008
15 years 6 months ago
2008
Increasingly, companies recognize that most of their important information does not exist in relational stores but in documents. For a long time, textual information has been rela...
166
click to vote
EOR
2008
15 years 6 months ago
2008
We study the market partition between two distinct firms that deliver services to waiting time sensitive customers. In our model, the incoming customers select a firm on the basis...