2297 search results - page 17 / 460 » An Algorithm for Computing the Integral Closure |
ICNP
1997
IEEE
15 years 4 months ago
1997
IEEE
107
click to vote
WDAG
1994
Springer
15 years 3 months ago
1994
Springer
This paper investigates how vector time can be used to set breakpoints in distributed computations for the purpose of analyzing and debugging distributed programs. A breakpoint is ...
ATVA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
51
Voted
SAC
2008
ACM
14 years 11 months ago
2008
ACM
COSIT
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...