1995 search results - page 229 / 399 » What's the Problem |
143
click to vote
CRYPTO
2003
Springer
15 years 9 months ago
2003
Springer
We deal with computational assumptions needed in order to design secure cryptographic schemes. We suggest a classi£cation of such assumptions based on the complexity of falsifying...
142
click to vote
EUROSYS
2010
ACM
15 years 9 months ago
2010
ACM
A complex software system typically has a large number of objects in the memory, holding references to each other to implement an object model. Deciding when the objects should be...
139
Voted
WDAG
2009
Springer
15 years 9 months ago
2009
Springer
This paper defines the basic notions of local and non-local tasks, and determines the minimum information about failures that is necessary to solve any non-local task in message-p...
133
click to vote
ISCA
1998
IEEE
15 years 8 months ago
1998
IEEE
Traditional graphics hardware architectures implement what we call the push architecture for texture mapping. Local memory is dedicated to the accelerator for fast local retrieval...
139
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...