1237 search results - page 121 / 248 » Strictness and Totality Analysis |
220
click to vote
ICSE
2012
IEEE-ACM
13 years 8 months ago
2012
IEEE-ACM
Abstract—Key program interfaces are sometimes documented with usage examples: concrete code snippets that characterize common use cases for a particular data type. While such doc...
148
click to vote
PPOPP
2010
ACM
16 years 3 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
161
Voted
ICCAD
2005
IEEE
15 years 11 months ago
2005
IEEE
As power density increases exponentially, runtime regulation of operating temperature by dynamic thermal managements becomes necessary. This paper proposes a novel approach to the...
141
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
We describe the use of a statistical technique called Tpattern analysis to derive and characterize the routineness of tasks. T-patterns provide significant advantages over traditi...
150
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
In this paper we present a new approach to mining binary data. We treat each binary feature (item) as a means of distinguishing two sets of examples. Our interest is in selecting ...