17409 search results - page 3302 / 3482 » The Design and Performance of MedJava |
142
Voted
JNW
2006
15 years 4 months ago
2006
The design of large dependable multiprocessor systems requires quick and precise mechanisms for detecting the faulty nodes. The problem of system-level fault diagnosis is computati...
161
click to vote
ENGL
2007
15 years 4 months ago
2007
— The tolerance design directly influences the functionality of products and production costs. Tolerance synthesis is a procedure that distributes assembly tolerances between com...
121
Voted
ENTCS
2007
15 years 4 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
131
click to vote
JPDC
2006
15 years 4 months ago
2006
Distributing data is a fundamental problem in implementing efficient distributed-memory parallel programs. The problem becomes more difficult in environments where the participati...
122
click to vote
EOR
2007
15 years 4 months ago
2007
Motivated by an underground mining operation at Kiruna, Sweden, we formulate a mixed integer program to schedule iron ore production over multiple time periods. Our optimization m...