19320 search results - page 439 / 3864 » On the complexity of computing determinants |
176
click to vote
WSC
2004
15 years 9 months ago
2004
GoldSim is a powerful and flexible Windows-based computer program for carrying out probabilistic simulations of complex systems to support management and decisionmaking in enginee...
199
click to vote
LOGCOM
2010
15 years 6 months ago
2010
All promiment examples of first-order predicate fuzzy logics are undecidable. This leads to the problem of the arithmetical complexity of their sets of tautologies and satisfiab...
189
click to vote
SIGSOFT
2002
ACM
16 years 8 months ago
2002
ACM
Consider the execution of a failing program as a sequence of program states. Each state induces the following state, up to the failure. Which variables and values of a program sta...
174
click to vote
DATE
2007
IEEE
16 years 2 months ago
2007
IEEE
— System-on-Chip designs often have a large number of timing domains. Communication between these domains requires synchronization, and the failure probabilities of these synchro...
193
Voted
CAISE
2005
Springer
16 years 1 months ago
2005
Springer
Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after the application of a set of structural events. One possible way...