6197 search results - page 1076 / 1240 » Sandbridge Software Tools |
224
click to vote
FCCM
2011
IEEE
14 years 10 months ago
2011
IEEE
— Recent progress in High-Level Synthesis (HLS) es has helped raise the abstraction level of FPGA programming. However implementation and performance evaluation of the HLS-genera...
217
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: The secondary structure of RNA molecules is intimately related to their function and often more conserved than the sequence. Hence, the important task of searching dat...
211
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Alternative splicing of pre-mature RNA is an important process eukaryotes utilize to increase their repertoire of different protein products. Several types of differen...
180
click to vote
CAV
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
153
click to vote
MOBISYS
2011
ACM
14 years 9 months ago
2011
ACM
Modern smartphone operating systems support the development of third-party applications with open system APIs. In addition to an open API, the Android operating system also provid...