2841 search results - page 369 / 569 » Parameterised system design based on genetic algorithms |
169
click to vote
SEMWEB
2007
Springer
16 years 21 days ago
2007
Springer
We introduce in this paper correspondence patterns as a tool to design ontology alignments. Based on existing research on patterns in the fields of software and ontology engineeri...
158
click to vote
SPIN
2007
Springer
16 years 21 days ago
2007
Springer
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
201
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...
117
click to vote
ENGL
2008
15 years 6 months ago
2008
-- The considered converter-fed permanent magnet motor could alternatively be operated in two basically different states - the vector control mode or alternatively the brushless dc...
173
click to vote
OSDI
2002
ACM
16 years 6 months ago
2002
ACM
It is becoming increasingly common to construct network services using redundant resources geographically distributed across the Internet. Content Distribution Networks are a prim...