3820 search results - page 290 / 764 » Bounded Model Debugging |
142
click to vote
PRDC
2002
IEEE
15 years 8 months ago
2002
IEEE
Feature interaction is a kind of inconsistent conflict between multiple communication services and considered an obstacle to developing reliable telephony systems. In this paper ...
143
click to vote
LPAR
2001
Springer
15 years 8 months ago
2001
Springer
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the be...
119
Voted
WDAG
2001
Springer
15 years 8 months ago
2001
Springer
We provide effective (i.e., recursive) characterizations of the relations that can be computed on networks where all processors use the same algorithm, start from the same state, a...
128
Voted
PODC
1999
ACM
15 years 8 months ago
1999
ACM
We provide characterizations of the relations that can be computed with arbitrary knowledge on networks where all processors use the same algorithm and start from the same state (...
106
click to vote
MCU
2007
15 years 5 months ago
2007
Inspired by genetic programming (GP), we study iterative algorithms for non-computable tasks and compare them to naive models. This framework justifies many practical standard tri...