Abstract: This paper deals with the formal verification of reconfigurable discrete event control systems (RDECSs) using reconfigurable timed net condition/event systems (R-TNCESs) formalism. A ...
2022-02-22 09:32:37,583 ERROR [io.qua.mut.run.MutinyInfrastructure] (vert.x-eventloop-thread-1) Mutiny had to drop the following exception: io.netty.channel ...
use: xgboost4j-spark 0.90, spark 2.4.3, scala 2.11.12, java jdk1.8.0_121 val trainDf = spark.read.parquet(trainDfPath).select("user_log_acct", "feature", "label") val ...
Abstract: Testing concurrent software is difficult due to problems with inherent nondeterminism. In previous work, we have presented a method and tool support for the testing of concurrent Java ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results