2501 search results - page 94 / 501 » Obligations and Their Interaction with Programs |
CHI
2010
ACM
14 years 3 months ago
2010
ACM
Developers, like all modern knowledge workers, are frequently interrupted and blocked in their tasks. In this paper we present a contextual inquiry into developers’ current stra...
ESOP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
CONCURRENCY
1998
13 years 8 months ago
1998
Abstract Advances in high performance computing, communications, and user interfaces enable developers to construct increasingly interactive high performance applications. The Falc...
CVPR
2007
IEEE
14 years 11 months ago
2007
IEEE
We propose a linear programming relaxation scheme for the class of multiple object tracking problems where the inter-object interaction metric is convex and the intraobject term q...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
Debugging and diagnostic tools are some of the most important software development tools, but most expect developers choose the right code to inspect. Unfortunately, this rarely o...