8780 search results - page 144 / 1756 » On the Feasibility of Consistent Computations |
207
click to vote
HICSS
2002
IEEE
16 years 9 hour ago
2002
IEEE
This research focuses on the performance and timing behavior of a two level survivability architecture. The lower level of the architecture involves attack analysis based on kernel...
205
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
The indistinguishability of two pieces of data (or two lists of pieces of data) can be represented formally in terms of a relation called static equivalence. Static equivalence dep...
164
click to vote
AAAI
2007
15 years 9 months ago
2007
Various tasks in decision making and decision support require selecting a preferred subset of items from a given set of feasible items. Recent work in this area considered methods...
192
click to vote
CCE
2004
15 years 7 months ago
2004
Significant advances have been made in the last two decades for the effective solution of mixed integer non-linear programming (MINLP) problems, mainly by exploiting the special s...
186
click to vote
ATS
1997
IEEE
15 years 11 months ago
1997
IEEE
Testing circuits which do not include a global reset signal requires either complex ATPG algorithms based on 9- or even 256-valued algebras, or some suitable method to generate in...