2372 search results - page 199 / 475 » is 2012 |
110
Voted
PAM
2012
Springer
13 years 8 months ago
2012
Springer
Smartphones connected to cellular networks are increasingly being used to access Internet-based services. Using data collected from smartphones running a popular location-based app...
150
click to vote
PC
2012
13 years 8 months ago
2012
— The frenetic development of the current architectures places a strain on the current state-of-the-art programming environments. Harnessing the full potential of such architectu...
120
click to vote
PC
2012
13 years 8 months ago
2012
This paper describes a safe and efficient combination of the object-based message-driven execution and shared array parallel programming models. In particular, we demonstrate how ...
113
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
84
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...