1757 search results - page 317 / 352 » Integrating and Extending JCSP |
178
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
Power management has become increasingly necessary in large-scale datacenters to address costs and limitations in cooling or power delivery. This paper explores how to integrate p...
175
click to vote
PLPV
2009
ACM
16 years 3 months ago
2009
ACM
This paper is part of a line of work on using the logical techniques of polarity and focusing to design a dependent programming language, with particular emphasis on programming w...
189
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Mobile learning applications introduce a new degree of ubiquitousness in the learning process. There is a new generation of ICT-powered mobile learning experiences that exist i...
167
click to vote
PLDI
2009
ACM
16 years 29 days ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
185
Voted
SAC
2009
ACM
16 years 29 days ago
2009
ACM
Many general-purpose, object-oriented scripting languages are dynamically typed, to keep the language flexible and not reject any programs unnecessarily. However, dynamic typing ...