2830 search results - page 337 / 566 » A Development Tool for E-learning Applications |
111
click to vote
CAV
2008
Springer
15 years 26 days 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...
115
click to vote
BMCBI
2007
14 years 11 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...
108
Voted
RSP
2000
IEEE
15 years 3 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...
129
Voted
PPOPP
2011
ACM
14 years 1 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...
84
Voted
DAC
2004
ACM
15 years 12 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...