2714 search results - page 165 / 543 » Model comparison with GenericDiff |
99
Voted
ERLANG
2006
ACM
15 years 8 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
127
click to vote
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
With the increasing use of real-time multimedia applications over IP networks, efficient use of resources, especially in wireless networks, is becoming a necessity. In order to ha...
118
Voted
JSSPP
2005
Springer
15 years 8 months ago
2005
Springer
User estimates of job runtimes have emerged as an important component of the workload on parallel machines, and can have a significant impact on how a scheduler treats different ...
133
click to vote
MOBICOM
2003
ACM
15 years 7 months ago
2003
ACM
Simulation has become an indispensable tool in the construction and evaluation of mobile systems. By using mobility models that describe constituent movement, one can explore larg...
133
Voted
DAGM
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we extend anisotropic diffusion with a diffusion tensor to be applicable to data that is well modeled by linear models. We focus on its variational theory, and invest...