4163 search results - page 743 / 833 » A comprehensive combination framework |
160
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
This research is based on the realization that the desktop computing paradigm is not appropriate for television, because it is adapted to fundamentally different user aspirations ...
140
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
178
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
179
click to vote
CEC
2009
IEEE
16 years 10 days ago
2009
IEEE
—Multi-objective optimization is an essential and challenging topic in the domains of engineering and computation because real-world problems usually include several conflicting...
139
click to vote
IPPS
2009
IEEE
16 years 6 days ago
2009
IEEE
Stencil computation (SC) is of critical importance for broad scientific and engineering applications. However, it is a challenge to optimize complex, highorder SC on emerging clus...