4386 search results - page 235 / 878 » A Tamper-Resistant Programming Language System |
109
click to vote
HIPS
1998
IEEE
15 years 6 months ago
1998
IEEE
The NPAC kernel runtime, developed in the PCRC Parallel Compiler Runtime Consortium project, is a runtime library with special support for the High Performance Fortran data model....
133
click to vote
IPPS
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--The lag of parallel programming models and languages behind the advance of heterogeneous many-core processors has left a gap between the computational capability of moder...
121
click to vote
JLP
2008
15 years 1 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
114
click to vote
SEUS
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. Describing parallel hardware and software is difficult, especially in an embedded setting. Five years ago, we started the shim project to address this challenge by develo...
102
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
The purpose of this paper is twofold: (1) to examine the properties of our ANSI C Markup Language (ACML) as a domain-specific language (DSL); and (2) to show that ACML is useful ...