1392 search results - page 166 / 279 » Staging generic programming |
106
Voted
DSL
2009
14 years 12 months ago
2009
Traversals of heterogeneous object structures are the most common operations in schema-first applications where the three key issues are (1) separation of traversal specifications ...
109
Voted
SIAMJO
2010
14 years 9 months ago
2010
Owing to their high accuracy and ease of formulation, there has been great interest in applying convex optimization techniques, particularly that of semidefinite programming (SDP)...
148
Voted
ICFP
2012
ACM
13 years 4 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
109
Voted
ICCV
2007
IEEE
16 years 4 months ago
2007
IEEE
In this paper, we present an interactive offline tracking system for generic color objects. The system achieves 60100 fps on a 320 ? 240 video. The user can therefore easily refin...
131
Voted
EUROPAR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Utility computing offers researchers and businesses the potential of significant cost-savings in that it is possible for them to match the cost of their computing and s...