4386 search results - page 159 / 878 » A Tamper-Resistant Programming Language System |
115
click to vote
BPM
2003
Springer
15 years 7 months ago
2003
Springer
Process programming is regarded as a critical approach in many cooperative process related areas including software engineering, workflow management, business process management, e...
117
click to vote
PROCEDIA
2010
14 years 8 months ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
115
click to vote
POPL
2010
ACM
15 years 2 days ago
2010
ACM
S-NET is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream pr...
113
click to vote
FMICS
2006
Springer
15 years 5 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...
117
click to vote
DSL
1997
15 years 3 months ago
1997
In this paper we describe our experience with Teapot [7], a domain-specific language for writing cache coherence protocols. Cache coherence is of concern when parallel and distrib...