2069 search results - page 356 / 414 » Synthesizing |
190
click to vote
EMSOFT
2011
Springer
14 years 5 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...
150
click to vote
ICDAR
2011
IEEE
14 years 5 months ago
2011
IEEE
—Content-based document image retrieval is a new and promising research area. Without OCR, document indexing directly based on image content is more general and convenient. Howev...
183
click to vote
LPAR
2012
Springer
14 years 1 months ago
2012
Springer
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...
215
click to vote
SIGMOD
2012
ACM
13 years 8 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
166
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract—BitTorrent has been the most popular P2P (Peer-toPeer) paradigm during recent years. Built upon great intuition, the piece-selection and neighbor-selection modules roote...