34181 search results - page 212 / 6837 » Computer system |
180
click to vote
SBACPAD
2004
IEEE
15 years 8 months ago
2004
IEEE
Large scale cluster, Peer-to-Peer computing systems and grid computer systems gather thousands of nodes for computing parallel applications. At this scale, it raises the problem o...
201
click to vote
FSTTCS
2010
Springer
15 years 5 months ago
2010
Springer
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...
180
click to vote
GW
2005
Springer
16 years 23 days ago
2005
Springer
In modern society there is an increasing demand to access, record and manipulate large amounts of information. This has inspired a new approach to thinking about and designing pers...
199
click to vote
SIGUCCS
2000
ACM
15 years 10 months ago
2000
ACM
Crime on the Internet has become a formidable challenge for university information technology and student judicial systems. The nature of university computing requires a relativel...
206
click to vote
ICFEM
2005
Springer
16 years 23 days ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...