4198 search results - page 322 / 840 » Data Parallel Program Design |
148
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
135
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
143
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
155
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
The MISP Processor is a programmable media processor which supports multi-issuing, multi-threading and stream processing techniques. MISP executes applications that have been mapp...
159
click to vote
LCR
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Modern dialects of Fortran enjoy wide use and good support on highperformance computers as performance-oriented programming languages. By providing the ability to express...