Sciweavers

4670 search results - page 31 / 934
» Toward meaningful computing
Sort
View
EUROPAR
2008
Springer
13 years 10 months ago
Towards an Intelligent Environment for Programming Multi-core Computing Systems
Sabri Pllana, Siegfried Benkner, Eduard Mehofer, L...
CIE
2005
Springer
14 years 2 months ago
Towards Computability of Higher Type Continuous Data
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
Margarita V. Korovina, Oleg V. Kudinov