Sciweavers

28888 search results - page 347 / 5778
» Computability and complexity in analysis
Sort
View
PERCOM
2010
ACM
15 years 5 months ago
Situvis: A sensor data analysis and abstraction tool for pervasive computing systems
Adrian K. Clear, Thomas Holland, Simon Dobson, Aar...
CIE
2010
Springer
15 years 11 months ago
Computational Interpretations of Analysis via Products of Selection Functions
Abstract. We show that the computational interpretation of full comprehension via two wellknown functional interpretations (dialectica and modified realizability) corresponds to t...
Martín Hötzel Escardó, Paulo Ol...
AC
2005
Springer
15 years 6 months ago
Power Analysis and Optimization Techniques for Energy Efficient Computer Systems
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...
Wissam Chedid, Chansu Yu, Ben Lee