7421 search results - page 38 / 1485 » In search of dependable design |
156
click to vote
AIIA
2009
Springer
16 years 23 days ago
2009
Springer
This paper studies the following question: given an instance of the propositional satisfiability problem, a randomized satisfiability solver, and a cluster of n computers, what i...
148
click to vote
IJCAI
2007
15 years 7 months ago
2007
Local search procedures for solving satisfiability problems have attracted considerable attention since the development of GSAT in 1992. However, recent work indicates that for m...
164
click to vote
DESRIST
2009
Springer
15 years 10 months ago
2009
Springer
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...
160
click to vote
ICDCS
1998
IEEE
15 years 10 months ago
1998
IEEE
The integration of system and SW functions for efciency, performance and especially dependability is of interest from a research and system design perspective. In this paper, we p...
143
click to vote
FPGA
2001
ACM
15 years 10 months ago
2001
ACM
Matching and searching computations play an important role in the indexing of data. These computations are typically encoded in very tight loops with a single index variable and a...