6274 search results - page 991 / 1255 » Proofs, Programs, Processes |
126
click to vote
PLDI
1997
ACM
15 years 7 months ago
1997
ACM
An interface definition language (IDL) is a nontraditional language for describing interfaces between software components. IDL compilers generate “stubs” that provide separat...
136
click to vote
FC
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. SPEED is a private key block cipher. It supports three variable parameters: (1) data length — the length of a plaintext/ciphertext of SPEED can be 64, 128 or 256 bits. ...
117
click to vote
ECOOP
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...
182
click to vote
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
118
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Complex embedded systems have always been heterogeneous multicore systems. Because of the tight constraints on power, performance and cost, this situation is not likely to change a...