8828 search results - page 266 / 1766 » Formal methods in practice |
165
click to vote
ISSAC
1997
Springer
15 years 10 months ago
1997
Springer
Computer algebra systems typically drop some degenerate cases when evaluating expressions, e.g., x=x becomes 1 dropping the case x = 0. We claim that it is feasible in practice to...
156
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, a practical approach of diffusion load balancing algorithms and its implementation are studied. Three problems are investigated. The first one is the determination ...
147
click to vote
DAC
2009
ACM
16 years 1 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
191
click to vote
DIM
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we examine how conclusions about linkability threats can be drawn by analyzing message contents and subject knowledge in arbitrary communication systems. At first, ...
210
click to vote
AI
2009
Springer
16 years 1 months ago
2009
Springer
Spatial clustering, which groups similar spatial objects into classes, is an important research topic in spatial data mining. Many spatial clustering methods have been developed re...