4629 search results - page 861 / 926 » Space Kernel Analysis |
171
Voted
CSFW
2002
IEEE
15 years 8 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
135
click to vote
CW
2002
IEEE
15 years 8 months ago
2002
IEEE
For sparse array operations, in general, the sparse arrays are compressed by some data compression schemes in order to obtain better performance. The Compressed Row/Column Storage...
152
Voted
ICPPW
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
148
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
The ability to deal with uncertain information is becoming increasingly important for modern database applications. Whereas a conventional (certain) object is usually represented ...
130
Voted
APLAS
2000
ACM
15 years 8 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...