2297 search results - page 17 / 460 » An Algorithm for Computing the Integral Closure |
ICNP
1997
IEEE
14 years 26 days ago
1997
IEEE
WDAG
1994
Springer
14 years 22 days 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
14 years 2 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...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
COSIT
2001
Springer
14 years 1 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...