2452 search results - page 330 / 491 » On Reduction of Lagrange Systems |
149
click to vote
CHES
2008
Springer
15 years 6 months ago
2008
Springer
Dynamically reconfigurable systems are known to have many advantages such as area and power reduction. The drawbacks of these systems are the reconfiguration delay and the overhead...
143
click to vote
MMB
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
141
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
In a number of application areas, distributed database systems can be used to provide persistent storage of data while providing efficient access for both local and remote data. W...
131
click to vote
CP
2008
Springer
15 years 6 months ago
2008
Springer
It is acknowledged that the symbolic form of the equations is crucial for interval-based solving techniques to efficiently handle systems of equations over the reals. However, only...
142
click to vote
CIDR
2007
15 years 5 months ago
2007
Database indices provide a non-discriminative navigational infrastructure to localize tuples of interest. Their maintenance cost is taken during database updates. In this paper, w...