606 search results - page 15 / 122 » Complexity Results for Checking Distributed Implementability |
105
click to vote
HPCN
1998
Springer
15 years 4 months ago
1998
Springer
Unstructured grids can represent the complex geometry of the ocean basin with high delity. The lack of development tools supporting irregular grid problems discourages the use of ...
GRID
2007
Springer
15 years 5 months ago
2007
Springer
— Today’s system monitoring tools are capable of detecting system failures such as host failures, OS errors, and network partitions in near-real time. Unfortunately, the same c...
110
click to vote
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
Many enterprise applications prefer to store XML data as a rich data type, i.e. a sequence of bytes, in a relational database system to avoid the complexity of decomposing the dat...
101
click to vote
CORR
2008
Springer
14 years 11 months ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
112
click to vote
DAC
2003
ACM
16 years 21 days ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...