4880 search results - page 743 / 976 » Manuals as Structured Programs |
166
click to vote
PADS
2004
ACM
16 years 1 days ago
2004
ACM
: Time warp is a well-known optimistic mechanism for parallel execution of simulation programs. Implementing time warp using a connection-oriented communication approach is propose...
172
click to vote
AUSAI
2004
Springer
16 years 21 hour ago
2004
Springer
In this paper, we propose a new neighborhood structure based on the improvement graph for solving the Robust Graph Coloring Problem, an interesting extension of classical graph col...
187
click to vote
DEXA
2004
Springer
16 years 16 hour ago
2004
Springer
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures. In the context of ...
146
click to vote
EUROPAR
2004
Springer
16 years 12 hour ago
2004
Springer
Abstract. This paper addresses a new framework for designing and implementing skeleton libraries, in which each skeleton should not only be efficiently implemented as is usually d...
158
click to vote
ICALP
2004
Springer
16 years 5 hour ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...