2208 search results - page 130 / 442 » Memory Practices in the Sciences |
FOCS
2009
IEEE
15 years 4 months ago
2009
IEEE
In orthogonal range reporting we are to preprocess N points in d-dimensional space so that the points inside a d-dimensional axis-aligned query box can be reported efficiently. T...
COMPLEX
2009
Springer
15 years 4 months ago
2009
Springer
Security vendors are facing a serious problem of defeating the complexity of malwares. With the popularity and the variety of zeroday malware over the Internet, generating their si...
SPIN
2004
Springer
15 years 3 months ago
2004
Springer
We propose an algorithm to find a counterexample to some property in a finite state program. This algorithm is derived from SPIN’s one, but it finds a counterexample faster th...
CSCW
2000
ACM
15 years 2 months ago
2000
ACM
The paper presents results of a research project that has aimed at developing a knowledge management architecture for mobile work domains. The architecture developed, called Field...
SCCC
1997
IEEE
15 years 2 months ago
1997
IEEE
Processing on the Amoeba distributed operating system is not fault-tolerant. The only concern of its processing service is to perform load balancing on the existing processors, tr...