12052 search results - page 645 / 2411 » computing 2010 |
195
click to vote
CIE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
229
click to vote
IPPS
2010
IEEE
15 years 5 months ago
2010
IEEE
From the point of view of an operating system, a computer is managed and optimized in terms of the application programming model and the management of system resources. For the TF...
125
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
Current GPUs offer specialized graphics hardware in addition to generic floating-point processing units. We propose a method which reuses specialized texture filtering units to ...
185
click to vote
NC
2010
15 years 5 months ago
2010
This paper presents two approaches based on metabolic and stochastic P systems, together with their associated analysis methods, for modelling biological systems and illustrates th...
149
click to vote
MOC
2010
15 years 1 months ago
2010
In this paper, we present a new method to rigorously compute smooth branches of zeros of nonlinear operators f : Rl1