2206 search results - page 248 / 442 » On the power of coercion abstraction |
308
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
211
click to vote
CC
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Data-parallel languages like OpenCL and CUDA are an important means to exploit the computational power of today’s computing devices. In this paper, we deal with two asp...
175
click to vote
ESOP
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
201
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—Most objects and data in the real world are interconnected, forming complex, heterogeneous but often semistructured information networks. However, many database research...
211
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—The WiFi radio in smartphones consumes a significant portion of energy when active. To reduce the energy consumption, the Power Saving Mode was standardized in IEEE 802...