1729 search results - page 215 / 346 » Deterministic Expressions in C |
JAR
2010
13 years 8 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
JAT
2010
13 years 8 months ago
2010
In this paper we find the second order linear differential equation satisfied by orthogonal polynomials with respect to the inner product p, q = ∞ 0 p(x)q(x)xα e−x dx + Mp...
IPPS
2010
IEEE
13 years 8 months ago
2010
IEEE
Although stencil auto-tuning has shown tremendous potential in effectively utilizing architectural resources, it has hitherto been limited to single kernel instantiations; in addi...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We propose a framework for deployment and subsequent autonomic management of component-based distributed applications. An initial deployment goal is specified using a declarative ...
JAIS
2010
13 years 5 months ago
2010
This study aims to understand how website interactivity (active control and reciprocal communication) can impact purchase intention through website involvement and how the impacts...