5790 search results - page 227 / 1158 » Distributed programming with distributed authorization |
121
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
Many applications require the derivatives of functions defined by computer programs. Automatic differentiation (AD) is a means of developing code to compute the derivatives of com...
99
Voted
EUROPAR
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. A practical methodology for compilation of trustworthy realtime programs is introduced. It combines new program development and timing analysis techniques with traditiona...
124
click to vote
ECOOPW
2001
Springer
15 years 7 months ago
2001
Springer
This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations an...
161
click to vote
ECOOPW
1999
Springer
15 years 7 months ago
1999
Springer
This paper presents a reflective architecture and an implemented prototype that supports aspect oriented programming in Smalltalk. The aspects are metaobjects which are weaved dyn...
121
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
Abstract. We extend the refinement calculus to permit the derivation of programs in the Bulk Synchronous Parallelism (BSP) style. This demonstrates that formal approaches developed...