37 search results - page 7 / 8 » Computations modulo regular chains |
CASC
2007
Springer
14 years 1 months ago
2007
Springer
We introduce the concept of comprehensive triangular decomposition (CTD) for a parametric polynomial system F with coefficients in a field. In broad words, this is a finite part...
DSN
2009
IEEE
13 years 11 months ago
2009
IEEE
The Border Gateway Protocol (BGP) is a fundamental building block of the Internet infrastructure. However, due to the implicit trust assumption among networks, Internet routing re...
EDCC
1999
Springer
13 years 11 months ago
1999
Springer
In this paper we present a new fault tolerant clock synchronization algorithm called the Fault Tolerant Daisy Chain algorithm. It is intended for internal clock synchronization of...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
The Markov chain approximation method is an effective and widely used approach for computing optimal values and controls for stochastic systems. It was extended to nonlinear (and p...
ADBIS
1998
Springer
13 years 11 months ago
1998
Springer
For the last many years, workflow management (WFM) has been the focus of intense activity in terms of products, standards and research work worldwide. WFM integrates concepts from ...