3328 search results - page 439 / 666 » On Plateaued Functions and Their Constructions |
156
click to vote
FOCS
2005
IEEE
16 years 9 days ago
2005
IEEE
We consider the problem of storing a large file on a remote and unreliable server. To verify that the file has not been corrupted, a user could store a small private (randomized...
179
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
2. THE MASM ALGORITHM An input to the MASM algorithm is a time-annotated multi-agent action sequence. The action sequence is then transformed into an action graph. An action graph ...
189
click to vote
PLDI
2004
ACM
16 years 4 days ago
2004
ACM
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
170
click to vote
CHARME
2003
Springer
15 years 12 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
186
click to vote
FDG
2009
ACM
15 years 11 months ago
2009
ACM
The tremendous advances in gaming technologies over the past decade have focused primarily on the physical realism of the game environment and game characters, and the complexity ...