17450 search results - page 377 / 3490 » Numerical Methods with Applications |
131
click to vote
NDSS
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper focuses on theoretical methods for detecting intentional attacks upon the infrastructure of an all-optical network. Applications of existing methods used in traditional...
134
click to vote
FASE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...
136
click to vote
ASAP
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper presents a method, based on the formalism of affine recurrence equations, for the synthesis of digital circuits exploiting parallelism at the bit-level. In the initial ...
184
click to vote
STOC
1996
ACM
15 years 9 months ago
1996
ACM
We use the Laplacian and power method to compute Betti numbers of simplicial complexes. This has a number of advantages over other methods, both in theory and in practice. It requ...
134
click to vote
FORMATS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...