5838 search results - page 799 / 1168 » A File System for System Programming in Ubiquitous Computing |
153
Voted
ICFP
2007
ACM
16 years 6 months ago
2007
ACM
In this paper we present an automated way of using spare CPU resources within a shared memory multi-processor or multi-core machine. Our approach is (i) to profile the execution o...
167
click to vote
PLDI
2009
ACM
16 years 28 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...
159
Voted
CSMR
2005
IEEE
15 years 11 months ago
2005
IEEE
Impact analysis is the process of determining the effect, or impact, of a change to a software system. Dynamic impact analysis uses data obtained from executing a program to perfo...
195
click to vote
SAS
2009
Springer
16 years 6 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
179
click to vote
HASKELL
2006
ACM
16 years 3 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...