7811 search results - page 1038 / 1563 » computing 2004 |
174
click to vote
GC
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Is it possible to treat large scale distributed systems as physical systems? The importance of that question stems from the fact that the behavior of many P2P systems is ...
190
click to vote
SPIN
2004
Springer
16 years 10 hour ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
213
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
The Java Programming Language has been praised for its platform independence and portability, but because of its slow execution speed on a software Java Virtual Machine (JVM), som...
171
Voted
WMPI
2004
ACM
16 years 2 days ago
2004
ACM
The Opie Project aims to develop a compiler to transform C codes written for row-major matrix representation into equivalent codes for Morton-order matrix representation, and to a...
192
Voted
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
In archiving video for surveillance, frame-based coding has been used and it makes storage size large because the whole image is stored even if there is no object in the image. On...