79 search results - page 2 / 16 » Distributed Local Resolution of Boolean Equation Systems |
IPPS
2006
IEEE
13 years 11 months ago
2006
IEEE
In this work we present a system for implementing the placement and routing stages in the FPGA cycle of design, into the physical design stage. We start with the ISCAS benchmarks,...
SIGMETRICS
1987
ACM
13 years 8 months ago
1987
ACM
Expressions are found for the throughput and delay performance of a Tree Conflict Resolution Algorithm that is used in a Local Area Network with carrier sensing (and possibly also ...
CAV
1997
Springer
13 years 8 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
PAKDD
1999
ACM
13 years 9 months ago
1999
ACM
Empirical equations are an important class of regularities that can be discovered in databases. In this paper we concentrate on the role of equations as de nitions of attribute val...
COMPUTING
2004
13 years 5 months ago
2004
In this paper, we present a robust distributive smoother in a multigrid method for the system of poroelasticity equations. Within the distributive framework, we deal with a decoup...