10585 search results - page 1652 / 2117 » The Orc Programming Language |
283
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Path profiles provide a more accurate characterization of a program's dynamic behavior than basic block or edge profiles, but are relatively more expensive to collect. This h...
312
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
217
click to vote
POPL
2010
ACM
16 years 4 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...
222
click to vote
CGO
2010
IEEE
16 years 1 months ago
2010
IEEE
Tiling is a widely used loop transformation for exposing/exploiting parallelism and data locality. Effective use of tiling requires selection and tuning of the tile sizes. This is...
162
click to vote
TEI
2010
ACM
16 years 1 months ago
2010
ACM
Programming microcontrollers for tangible interfaces can be easier and more accessible than it is now, empowering a broader audience to participate. The first part of this studio ...