1403 search results - page 192 / 281 » About Approximations of Exponentials |
146
click to vote
ISCA
2007
IEEE
16 years 6 days ago
2007
IEEE
Transient faults due to particle strikes are a key challenge in microprocessor design. Driven by exponentially increasing transistor counts, per-chip faults are a growing burden. ...
158
click to vote
ICALP
2007
Springer
16 years 2 days ago
2007
Springer
Gaifman’s locality theorem states that every first-order sentence is equivalent to a local sentence. We show that there is no elementary bound on the length of the local sentenc...
182
click to vote
OOPSLA
2007
Springer
16 years 1 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
174
click to vote
SAT
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
137
click to vote
INFOCOM
2006
IEEE
15 years 12 months ago
2006
IEEE
Abstract— Flooding based strategies are conventionally employed to perform querying and broadcasting in sensor networks. These schemes have low hop-delays of Θ( 1 M(n) ) to reac...