7811 search results - page 300 / 1563 » computer 2004 |
123
click to vote
WSC
2004
15 years 8 months ago
2004
This paper describes the author's career leading up to the publication of his 1969 paper Digital Computer Simulation: Computer Programming Languages, how it influenced the pa...
135
click to vote
ACE
2004
15 years 8 months ago
2004
In providing the introductory computing subject (topic) Information Technology 1A to approximately 800 students per annum in three different modes, a number of delivery mechanisms...
172
click to vote
IPTPS
2004
Springer
15 years 12 months ago
2004
Springer
This paper suggests a method called Trust-but-Verify that may turn DHT-based peer-to-peer systems into systems that are provably robust against even massive adversarial attacks.
176
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.
103
click to vote
CF
2004
ACM
16 years 4 hour ago
2004
ACM
Ì × Ô Ô Ö Ú ÐÙ Ø × Ø « Ø Ó Ò ÙØÓ¹ØÙÒ Ò Ð ØÝ Û Ø Ø Ù× Ö³× ÒÓÛÐ ÓÖ ÒÙÑ Ö Ð ×Ó ØÛ Ö º Ï ÔÖÓ¹ ÔÓ× Ò Û ×Ó ØÛ Ö Ö Ø ...