2830 search results - page 337 / 566 » A Development Tool for E-learning Applications |
181
Voted
CAV
2008
Springer
15 years 7 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
193
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Protein structural data has increased exponentially, such that fast and accurate tools are necessary to access structure similarity search. To improve the search speed...
193
click to vote
RSP
2000
IEEE
15 years 9 months ago
2000
IEEE
Dataflow programming has proven to be popular for representing applications in rapid prototyping tools for digital signal processing (DSP); however, existing dataflow design tools...
206
click to vote
PPOPP
2011
ACM
14 years 8 months ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
154
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
To meet conflicting flexibility, performance and cost constraints of demanding signal processing applications, future designs in this domain will contain an increasing number of a...