1063 search results - page 73 / 213 » Generalized Cores |
PLDI
2009
ACM
15 years 5 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
ICS
2009
Tsinghua U.
15 years 5 months ago
2009
Tsinghua U.
Future single-board multi-socket systems may be unable to deliver the needed memory bandwidth electrically due to power limitations, which will hurt their ability to drive perform...
FSEN
2009
Springer
15 years 4 months ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
INFOCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— Many network operators offer some type of tiered service, in which users may select only from a small set of service levels (tiers). Such a service has the potential to simplif...
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
— Affordances represent the behavior of objects in terms of the robot’s motor and perceptual skills. This type of knowledge plays a crucial role in developmental robotic system...