1132 search results - page 77 / 227 » Upper and lower Ramsey bounds in bounded arithmetic |
213
click to vote
LCTRTS
2010
Springer
15 years 8 months ago
2010
Springer
In preemptive real-time systems, scheduling analyses need—in addition to the worst-case execution time—the context-switch cost. In case of preemption, the preempted and the pr...
146
click to vote
COLT
2008
Springer
15 years 8 months ago
2008
Springer
A kernel over the Boolean domain is said to be reflection-invariant, if its value does not change when we flip the same bit in both arguments. (Many popular kernels have this prop...
158
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— This paper considers the quantization problem on the Grassmann manifold with dimension n and p. The unique contribution is the derivation of a closed-form formula for the volum...
178
click to vote
VR
2010
IEEE
15 years 4 months ago
2010
IEEE
A collaborative virtual environment (CVE) allows remote users to access and modify shared data through networks, such as the Internet. However, when the users are connected via th...
179
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...