4438 search results - page 560 / 888 » The Case for Collaborative Programming |
145
click to vote
ICALP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract An encryption scheme is non-malleable if the adversary cannot transform a ciphertext into one of a related message under the given public key. Although providing a very st...
174
click to vote
TARK
2005
Springer
16 years 6 days ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
171
click to vote
CASES
2004
ACM
16 years 4 days ago
2004
ACM
ScratchPad Memories (SPMs) are commonly used in embedded systems because they are more energy-efficient than caches and enable tighter application control on the memory hierarchy...
157
click to vote
CP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
160
click to vote
ESTIMEDIA
2004
Springer
16 years 3 days ago
2004
Springer
— Workload design is a well recognized problem in the domain of microprocessor design. Different program characteristics that influence the selection of a representative workloa...