4313 search results - page 117 / 863 » Using time travel to diagnose computer problems |
138
click to vote
ICTAC
2004
Springer
15 years 10 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
148
click to vote
FCT
1993
Springer
15 years 8 months ago
1993
Springer
The generalized topological sorting problem takes as input a positive integer k and a directed, acyclic graph with some vertices labeled by positive integers, and the goal is to la...
120
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we suggest the use of light for performing useful computations. Namely, we propose a special device which uses light rays for solving the Hamiltonian path problem on ...
159
click to vote
ICAI
2004
15 years 5 months ago
2004
In the age of electronic commerce, with low-cost information access, it has been recognized that a bundle search in a combinatorial trade is very valuable for buyers. Optimal trav...
168
click to vote
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
Change-point detection is the problem of discovering time points at which properties of time-series data change. This covers a broad range of real-world problems and has been acti...