57 search results - page 11 / 12 » A Logical Mix of Approximation and Separation |
126
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
133
click to vote
ICPADS
1998
IEEE
15 years 6 months ago
1998
IEEE
We extend a torus-based coterie structure for distributed mutual exclusion to allow k multiple entries in a critical section. In the original coterie, the system nodes are logical...
126
click to vote
CORR
1999
Springer
15 years 1 months ago
1999
Springer
A variational approach to finite connectivity spin-glass-like models is developed and applied to describe the structure of optimal solutions in random satisfiability problems. Our ...
106
click to vote
SIGIR
1998
ACM
15 years 6 months ago
1998
ACM
Abstract We present a fast compression and decompression scheme for natural language texts that allows e cient and exible string matching by searching the compressed text directly....
148
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper presents a data-centric modeling and predictive control approach for nonlinear hybrid systems. System identification of hybrid systems represents a challenging problem b...