4079 search results - page 632 / 816 » Differential Testing for Software |
130
click to vote
JSA
2002
15 years 3 months ago
2002
This paper presents a dependability oriented, fault tolerance based system design, development, and deployment approach. The approach relies on an architectural framework, which a...
IEICET
2010
15 years 2 months ago
2010
In this paper, we propose a new way to estimate fog extinction at night using a classification of fog depending on the forward scattering. We show that a characterization of fog ...
136
click to vote
IVA
2010
Springer
15 years 2 months ago
2010
Springer
In a good team, members do not only perform their individual task, they also coordinate their actions with other members of the team. Developing such team skills usually involves e...
137
click to vote
JUCS
2010
15 years 2 months ago
2010
: Assigning one (more) shared resource(s) to several requesters is a function of arbiters (allocators). This class of decision-making modules can be implemented in a number of ways...
233
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...