1716 search results - page 218 / 344 » Proving Conditional Termination |
125
click to vote
NCA
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we consider the problem of designing load balancing protocols in distributed systems where the participants (e.g. computers, users) are capable of manipulating the l...
125
click to vote
CSL
2003
Springer
15 years 8 months ago
2003
Springer
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...
124
click to vote
ISHPC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Simultaneous Multithreading (SMT) tolerates latency by executing instructions from multiple threads. If a thread is stalled, resources can be used by other threads. Howev...
107
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— The control of a new kind of airship is presented. By restricting its flight to a vertical plane, the mathematical model is reduced. The simplified model is proved to be mini...
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— In this paper we consider the problem of reconstructing a curve that is partially hidden or corrupted by minimizing the functional R √ 1 + K2 ds, depending both on le...