7103 search results - page 492 / 1421 » Program Generation and Components |
150
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Parallel architectures are the way of the future, but are notoriously difficult to program. In addition to the low-level constructs they often present (e.g., locks, DMA, and non-...
112
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Traditional data-oriented programming languages such as dataflow s and stream languages provide a natural abstraction for parallel programming. In these languages, a developer fo...
135
click to vote
CGO
2010
IEEE
15 years 11 months ago
2010
IEEE
Tiling, a key transformation for optimizing programs, has been widely studied in literature. Parameterized tiled code is important for auto-tuning systems since they often execute...
148
click to vote
PLDI
2010
ACM
16 years 2 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
124
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Quality assurance techniques for web applications have become increasingly important as web applications have gained in popularity and become an essential part of our daily lives....