3198 search results - page 291 / 640 » Evolutionary Computation in Structural Design |
177
click to vote
VLSID
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
143
click to vote
EUROPAR
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In this paper, we address two key trends in the synthesis of implementations for embedded multiprocessors — (1) the increasing importance of managing interprocessor com...
125
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Quantum error-correction codes (QECCs) are a vital ingredient of quantum computation and communication systems. In that context it is highly desirable to design QECCs that can be r...
121
click to vote
CEAS
2007
Springer
15 years 11 months ago
2007
Springer
In contextual computing, where cues beyond direct user input are used to trigger computation, one of the most daunting challenges is inferring what the user is doing. For the doma...
138
click to vote
SOFSEM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. After text retrieval, the next waves in web searching and multimedia retrieval are the search for and delivery of images, music, video, and 3D scenes. Not only the percep...