9387 search results - page 1060 / 1878 » An Optimal Process Model for a Real Time Process |
188
click to vote
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
151
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to comm...
189
click to vote
DATE
2002
IEEE
16 years 17 days ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
204
click to vote
SC
1995
ACM
15 years 11 months ago
1995
ACM
Because large scienti c codes are rarely static objects, developers are often faced with the tedious task of accounting for discrepancies between new and old versions. In this pap...
203
click to vote
ESANN
2007
15 years 9 months ago
2007
Abstract. From the echoes of their vocalisations bats extract information about the positions of reflectors. To gain an understanding of how target position is translated into neu...