7890 search results - page 1509 / 1578 » The MathSAT 3 System |
107
click to vote
ACMIDC
2011
14 years 1 months ago
2011
This paper outlines a series of experiments to develop asynchronous messaging systems for preschool aged children. Three unique systems build on a foundational design called Toast...
168
click to vote
CSUR
2011
14 years 1 months ago
2011
high-level programming abstractions, capable of simplifying the programming chore without sacrificing efficiency, has been long recognized and several solutions have been hitherto...
105
click to vote
MOBISYS
2011
ACM
14 years 20 days ago
2011
ACM
Resource constrained mobile devices need to leverage computation on nearby servers to run responsive applications that recognize objects, people, or gestures from real-time video....
106
click to vote
MSR
2011
ACM
14 years 20 days ago
2011
ACM
Modern software is often developed over many years with hundreds of thousands of commits. Commit metadata is a rich source of social characteristics, including the commit’s time...
SIGMOD
2011
ACM
14 years 18 days ago
2011
ACM
Scheduling data processing workflows (dataflows) on the cloud is a very complex and challenging task. It is essentially an optimization problem, very similar to query optimizati...