6740 search results - page 1234 / 1348 » Using Classification as a Programming Language |
122
click to vote
HPCA
2001
IEEE
16 years 4 months ago
2001
IEEE
The use of the Java programming language for implementing server-side application logic is increasing in popularity, yet there is very little known about the architectural require...
147
Voted
CADE
2003
Springer
16 years 4 months ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
157
click to vote
PPPJ
2009
ACM
15 years 11 months ago
2009
ACM
Accelerated graphics cards, or Graphics Processing Units (GPUs), have become ubiquitous in recent years. On the right kinds of problems, GPUs greatly surpass CPUs in terms of raw ...
151
Voted
CP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal ...
130
click to vote
ICS
2009
Tsinghua U.
15 years 11 months ago
2009
Tsinghua U.
Tiling is a crucial loop transformation for generating high performance code on modern architectures. Efficient generation of multilevel tiled code is essential for maximizing da...