4401 search results - page 553 / 881 » Computing with Default Logic |
195
click to vote
VLSID
2005
IEEE
16 years 11 days ago
2005
IEEE
During pseudorandom testing, a significant amount of energy and test application time is wasted for generating and for applying “useless” test vectors that do not contribute t...
175
Voted
CSL
2005
Springer
16 years 9 days ago
2005
Springer
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...
190
click to vote
ESOP
2005
Springer
16 years 9 days ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
180
click to vote
ICTAC
2005
Springer
16 years 9 days ago
2005
Springer
In distributed and mobile systems with volatile bandwidth and fragile connectivity, non-functional aspects like performance and reliability become more and more important. To forma...
245
Voted
CAV
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...