Analysis on the dynamic characteristic of a tensioned double-beam system with a semi theoretical semi numerical method
- 期刊名称Composite Structures
- 作者Fei, Han; Danhui, Dan; Cheng, Wei; Jia, Pengfei
- 印刷ISSN0263-8223
- 文件大小855.73KB
- 发表时间2017-11
- DOI10.1016/j.compstruct.2017.11.010
BlockSimAlharby, Maher; van Moorsel, Aad · ACM SIGMETRICS Performance Evaluation Review · 2019
A Systematic Mapping Study on Current Research Topics in Smart ContractsAlharby, Maher; Moorsel, Aad van · International Journal of Computer Science and Information Technology · 2017
[IEEE 2019 IEEE International Conference on Blockchain (Blockchain) - Atlanta, GA, USA (2019.7.14-2019.7.17)] 2019 IEEE International Conference on Blockchain (Blockchain) - OpBench: A CPU Performance Benchmark for Ethereum Smart Contract Operation CodeAldweesh, Amjad; Alharby, Maher; Mehrnezhad, Maryam; Van Moorsel, Aad · 2019
[IEEE 2018 14th European Dependable Computing Conference (EDCC) - Iași, Romania (2018.9.10-2018.9.14)] 2018 14th European Dependable Computing Conference (EDCC) - Performance Benchmarking of Smart Contracts to Assess Miner Incentives in EthereumAldweesh, Amjad; Alharby, Maher; Solaiman, Ellis; van Moorsel, Aad · 2018
[IEEE 2018 IEEE/ACS 15th International Conference on Computer Systems and Applications (AICCSA) - Aqaba, Jordan (2018.10.28-2018.11.1)] 2018 IEEE/ACS 15th International Conference on Computer Systems and Applications (AICCSA) - Performance Benchmarking for Ethereum OpcodesAldweesh, Amjad; Alharby, Maher; van Moorsel, Aad · 2018
[IEEE 2018 International Conference on Cloud Computing, Big Data and Blockchain (ICCBB) - Fuzhou, China (2018.11.15-2018.11.17)] 2018 International Conference on Cloud Computing, Big Data and Blockchain (ICCBB) - Blockchain-based Smart Contracts: A Systematic Mapping Study of Academic Research (2018)Alharby, Maher; Aldweesh, Amjad; Moorsel, Aad van · 2018
Verification of Model TransformationsCalegari, Daniel; Szasz, Nora · Electronic Notes in Theoretical Computer Science · 2013
PrefaceCAVALCANTI, A · Electronic Notes in Theoretical Computer Science · 2004
Pollack-inconsistencyWiedijk, Freek · Electronic Notes in Theoretical Computer Science · 2012
Proving Termination by Policy IterationMassé, Damien · Electronic Notes in Theoretical Computer Science · 2012
Engineering the Prover InterfaceGast, Holger · Electronic Notes in Theoretical Computer Science · 2012
Typed vs. Untyped RealizabilityBerger, Ulrich; Hou, Tie · Electronic Notes in Theoretical Computer Science · 2012
Sweeping in Abstract InterpretationJakubczyk, Krzysztof · Electronic Notes in Theoretical Computer Science · 2012
PrefaceChockler, Hana · Electronic Notes in Theoretical Computer Science · 2013