1191 search results - page 106 / 239 » A New Approach for Solving Nonlinear Equations Systems |
PE
2011
Springer
13 years 5 months ago
2011
Springer
In this paper we identify a class of Quasi-Birth-and-Death (QBD) processes where the transitions to higher (resp. lower) levels are restricted to occur only from (resp. to) a subs...
HYBRID
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
TOMS
2011
13 years 5 months ago
2011
We present a new supernode-based incomplete LU factorization method to construct a preconditioner for solving sparse linear systems with iterative methods. The new algorithm is pr...
ASPDAC
2008
ACM
14 years 5 days ago
2008
ACM
In the nanometer manufacturing region, process variation causes significant uncertainty for circuit performance verification. Statistical static timing analysis (SSTA) is thus dev...
HICSS
1999
IEEE
14 years 2 months ago
1999
IEEE
Legacy information systems are difficult to transform into the new or upgraded information systems. Part of the reason is being the incompatibility and the unscalability between t...