4922 search results - page 194 / 985 » Internet time out |
183
click to vote
DLT
2009
15 years 2 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
116
click to vote
SIGCSE
1995
ACM
15 years 8 months ago
1995
ACM
Students get more out of an interactive lecture than a passive lecture because they are given time to think. This time allows them to determine if they understand a concept, and i...
127
click to vote
ISCAPDCS
2008
15 years 5 months ago
2008
Abstract -- At the present time, when the usage of supercomputers has been brought into play and turned out to be more widespread, the research of Asymmetric Operating Systems has ...
139
click to vote
FCS
2006
15 years 5 months ago
2006
The problem of finding a negative cycle in a weighted, directed graph is discussed here. First the algorithm for printing out a negative cycle reachable from the source s, with th...
118
click to vote
IPL
2007
15 years 4 months ago
2007
Culberson and Rudnicki [1] gave an algorithm that reconstructs a degree d restricted tree from its distance matrix. According to their analysis, it runs in time O(dn logd n) for t...