11909 search results - page 2146 / 2382 » The Scheme Programming Language |
134
click to vote
KR
1998
Springer
15 years 6 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...
121
click to vote
PPOPP
1997
ACM
15 years 6 months ago
1997
ACM
Global addressing of shared data simplifies parallel programming and complements message passing models commonly found in distributed memory machines. A number of programming sys...
132
Voted
FC
1997
Springer
15 years 6 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. ...
142
Voted
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...
125
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...