7961 search results - page 217 / 1593 » Input-Output Model Programs |
100
click to vote
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
131
click to vote
ENTCS
2010
15 years 1 months ago
2010
Our goal is to provide a top-down approach to biomolecular computation. In spite of widespread discussion about connections between biology and computation, one question seems not...
126
click to vote
WCE
2007
15 years 4 months ago
2007
This paper deals with the identification of best and optimized test cases in program components and software artifacts. Our purpose is to simulate the model on a sample software pr...
123
click to vote
JUCS
2006
15 years 3 months ago
2006
: In this paper we give a possible model for handling uncertain information. The concept of fuzzy knowledge-base will be defined as a quadruple of any background knowledge, defined...
136
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Decentralized partially observable MDPs (DEC-POMDPs) provide a rich framework for modeling decision making by a team of agents. Despite rapid progress in this area, the limited sc...