12452 search results - page 2163 / 2491 » An exploration of program as language |
171
click to vote
UM
2010
Springer
16 years 16 days ago
2010
Springer
In this paper, we present the results of a two-month field study of fifteen people using a software tool designed to model changes in a user’s availability. The software uses s...
204
click to vote
IPPS
2002
IEEE
16 years 12 days ago
2002
IEEE
This paper describes a generic mechanism to migrate threads in heterogeneous distributed environments. To maintain high portability and flexibility, thread migration is implement...
234
click to vote
RTAS
2002
IEEE
16 years 12 days ago
2002
IEEE
This paper provides two contributions to the study of programming languages and middleware for real-time and embedded applications. First, we present the empirical results from ap...
210
Voted
SPAA
2010
ACM
16 years 9 days ago
2010
ACM
Load balancing is an important consideration when running data-parallel programs. While traditional techniques trade off the cost of load imbalance with the overhead of mitigating...
236
Voted
MPC
2010
Springer
16 years 8 days ago
2010
Springer
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...