827 search results - page 75 / 166 » Patterns for Timed Property Specifications |
114
click to vote
ISRR
2001
Springer
15 years 7 months ago
2001
Springer
We demonstrate an adaptation strategy for adjusting the stride period in a hexapedal running robot. The robot is inspired by discoveries about the self-stabilizing properties of i...
124
click to vote
CLUSTER
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract--Developing and tuning computational science applications to run on extreme scale systems are increasingly complicated processes. Challenges such as managing memory access...
139
click to vote
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— Recently, research on disconnected networks has been fostered by several studies on delay-tolerant networks, which are designed in order to sustain disconnected operations. We ...
146
click to vote
FOCS
2009
IEEE
15 years 7 months ago
2009
IEEE
Given a set D = {d1, d2, ..., dD} of D strings of total length n, our task is to report the "most relevant" strings for a given query pattern P. This involves somewhat mo...
132
click to vote
PADO
2001
Springer
15 years 7 months ago
2001
Springer
nt Abstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 J¨orgen Gustavsson, Josef Svenningsson Implementing Circularity Using Pa...