A synergic quantum particle swarm optimisation for constrained combinatorial test generation | 0 | 0.34 | 2022 |
Scheduling large-scale scientific workflow on virtual machines with different numbers of vCPUs | 0 | 0.34 | 2021 |
Effective User Preference Clustering In Web Service Applications | 0 | 0.34 | 2020 |
A resource-efficient priority scheduler for time-sensitive networking switches. | 0 | 0.34 | 2020 |
Comparative Analysis of Evolutionary Algorithms Based on Swarm Intelligence for QoS Optimization of Cloud Services | 0 | 0.34 | 2019 |
Tolerating C Integer Error via Precision Elevation. | 0 | 0.34 | 2019 |
Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup. | 0 | 0.34 | 2019 |
Litho-Aware Machine Learning for Hotspot Detection. | 4 | 0.45 | 2018 |
Parallelizing SMT solving: Lazy decomposition and conciliation. | 0 | 0.34 | 2018 |
Temporal Coverage Analysis for Dynamic Verification. | 0 | 0.34 | 2018 |
An Effective Clustering Method for Finding Density Peaks | 0 | 0.34 | 2018 |
A Dynamic Multi-Objective Evolutionary Algorithm for Nontrivial Upper Bounds of Real-Time Tasks in Embedded System Design | 0 | 0.34 | 2018 |
Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path | 0 | 0.34 | 2018 |
Grouping Users Using a Combination-Based Clustering Algorithm in the Service Environment | 0 | 0.34 | 2017 |
First, Debug the Test Oracle | 1 | 0.34 | 2015 |
Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic | 5 | 0.46 | 2015 |
Pareto optimal mapping for tile-based network-on-chip under reliability constraints | 0 | 0.34 | 2015 |
Generalized interface automata with multicast synchronization. | 2 | 0.37 | 2015 |
Network planning for distributed antenna-based high-speed railway mobile communications | 5 | 0.46 | 2014 |
Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems | 4 | 0.52 | 2014 |
Symbolic Analysis of Programmable Logic Controllers | 3 | 0.39 | 2014 |
Performance analysis for free-space optical communications using parallel all-optical relays over composite channels. | 13 | 0.80 | 2014 |
Reliability analysis for chain topology wireless sensor networks with multiple-sending transmission scheme. | 2 | 0.38 | 2014 |
Performance-driven assignment and mapping for reliable networks-on-chips. | 2 | 0.36 | 2014 |
Exponential-Condition-Based barrier certificate generation for safety verification of hybrid systems | 16 | 0.92 | 2013 |
Outage probability analysis of multi-hop free space optical communications over strong turbulence channels | 0 | 0.34 | 2013 |
Formal component-based modeling and synthesis for PLC systems | 3 | 0.40 | 2013 |
Distributed SNR-Based Power Allocation in Wireless Parallel Amplify-and-Forward Relay Transmissions Using Cournot Game | 0 | 0.34 | 2013 |
Bayesian-Network-Based Reliability Analysis of PLC Systems | 7 | 0.53 | 2013 |
Formal Modelling of PLC Systems by BIP Components | 0 | 0.34 | 2013 |
Dimming scheme analysis for pulse amplitude modulated visible light communications | 4 | 0.55 | 2013 |
Optimizing communication in mobile ad hoc network clustering | 6 | 0.49 | 2013 |
A Dynamic Region based Limited Feedback Scheme for Efficient Power Allocation in OFDM Systems. | 3 | 0.41 | 2013 |
Maxterm Covering for Satisfiability | 4 | 0.42 | 2012 |
Reliability Analysis of PLC Systems by Bayesian Network | 1 | 0.39 | 2012 |
Proving Computational Geometry Algorithms in TLA+2 | 0 | 0.34 | 2011 |
Exploring structural symmetry automatically in symbolic trajectory evaluation | 0 | 0.34 | 2011 |
Realization and synthesis of reversible functions | 2 | 0.39 | 2011 |
Formalisation and verification of programmable logic controllers timers in Coq | 0 | 0.34 | 2011 |
Enhanced symbolic simulation of a round-robin arbiter | 2 | 0.41 | 2011 |
Formalisation and verification of programmable logic controllers timers in Coq | 0 | 0.34 | 2011 |
Formal modeling and synthesis of programmable logic controllers | 7 | 0.62 | 2011 |
Domain-driven probabilistic analysis of programmable logic controllers | 1 | 0.38 | 2011 |
Combining theorem proving and symbolic trajectory evaluation in THM&STE | 0 | 0.34 | 2011 |
An iterative method for generating loop invariants | 0 | 0.34 | 2011 |
Space-alternating generalised expectation-maximisation-based h-infinity channel estimator for multiple-input multiple-output-orthogonal frequency division multiplexing systems | 4 | 0.42 | 2011 |
An Analytical Congestion Model with Bounded-Bend Detours | 0 | 0.34 | 2010 |
Compositional Abstraction Refinement for Timed Systems | 2 | 0.39 | 2010 |
Integrating Evolutionary Computation with Abstraction Refinement for Model Checking | 11 | 0.60 | 2010 |
Parameterized Specification and Verification of PLC Systems in Coq | 1 | 0.39 | 2010 |