861 search results - page 94 / 173 » A General Framework for Knowledge Compilation |
SIMUTOOLS
2008
14 years 11 months ago
2008
Evaluating the performance of a cooperative relaying protocol requires an implementation for simulators and/or software-defined radios (SDRs) with an appropriate model for error d...
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
137
click to vote
DLS
2009
14 years 7 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
106
click to vote
CVPR
2012
IEEE
13 years 8 days ago
2012
IEEE
Attribute-based query offers an intuitive way of image retrieval, in which users can describe the intended search targets with understandable attributes. In this paper, we develop...
PLDI
2005
ACM
15 years 3 months ago
2005
ACM
Software pipelining of a multi-dimensional loop is an important optimization that overlaps the execution of successive outermost loop iterations to explore instruction-level paral...