4520 search results - page 43 / 904 » Algebraic Techniques for Timed Systems |
CORR
2004
Springer
15 years 1 months ago
2004
Springer
We want to achieve efficiency for the exact computation of the dot product of two vectors over word size finite fields. We therefore compare the practical behaviors of a wide range...
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
Autonomous Community Information System (ACIS) is a proposition made to contend with the extreme dynamism in the large-scale information system. ACIS is a decentralized bilateral-...
94
Voted
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— We take a structural approach to the problem of designing the edge weights in an undirected graph subject to an upper bound on their total, so as to maximize the algebraic conn...
119
Voted
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
108
click to vote
ISSAC
2007
Springer
15 years 8 months ago
2007
Springer
An algorithm is presented for the geometric analysis of an algebraic curve f(x, y) = 0 in the real affine plane. It computes a cylindrical algebraic decomposition (CAD) of the pla...