398 search results - page 39 / 80 » On the Inference of Configuration Structures from Source Cod... |
147
click to vote
ICCAD
2001
IEEE
15 years 11 months ago
2001
IEEE
The increasing popularity of SAT and BDD techniques in verification and synthesis encourages the search for additional speed-ups. Since typical SAT and BDD algorithms are exponent...
157
Voted
NIPS
2007
15 years 3 months ago
2007
Large repositories of source code create new challenges and opportunities for statistical machine learning. Here we first develop Sourcerer, an infrastructure for the automated c...
129
click to vote
POPL
1998
ACM
15 years 6 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
135
click to vote
IHI
2010
14 years 9 months ago
2010
As the fields of translational research and personalized medicine evolve, the need clinicians and scientists have to exchange experimental results is growing. As different termino...
138
click to vote
ICC
2008
IEEE
15 years 9 months ago
2008
IEEE
— Recently Li and Xia have proposed a transmission scheme for wireless relay networks based on the Alamouti space time code and orthogonal frequency division multiplexing to comb...