4313 search results - page 117 / 863 » Using time travel to diagnose computer problems |
179
click to vote
ICTAC
2004
Springer
15 years 11 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...
178
click to vote
FCT
1993
Springer
15 years 10 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...
146
click to vote
CORR
2007
Springer
15 years 6 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 ...
187
click to vote
ICAI
2004
15 years 7 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...
199
click to vote
SDM
2009
SIAM
16 years 3 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...