Search results

Broadcasting in unreliable radio networks 2015-03-02 Paper A note on the parallel runtime of self-stabilizing graph linearization 2015-02-05 Paper Optimal scale-free...

problem 2024-01-09 Paper Runtime analysis for permutation-based evolutionary algorithms 2024-01-09 Paper Mathematical runtime analysis for the non-dominated...

2024-03-14 Paper Refining privacy-aware data flow diagrams 2023-05-26 Paper Runtime Verification: Passing on the Baton 2023-04-13 Paper Incorporating monitors...

reductions: CSP parallel composition and CCS restriction 2023-07-26 Paper Termination, deadlock and divergence 2023-04-12 Paper Bidirectional Runtime Enforcement...

populations and parallel evolutionary algorithms 2017-07-14 Paper When do evolutionary algorithms optimize separable functions in parallel? 2017-07-14 Paper...

times 2017-04-07 Paper Scheduling parallel jobs on heterogeneous platforms 2017-02-14 Paper An efficient PTAS for parallel machine scheduling with capacity...

Function 2003-01-05 Paper Specialized parallel algorithms for solving Lyapunov and Stein equations 2002-07-31 Paper Parallel algorithms for LQ optimal control...

Publication Date of Publication Type Verified scalable parallel computing with Why3 2024-06-05 Paper Verified runtime assertion checking for memory properties 2022-11-09...

Reduction of Large-Scale Dense Systems on Parallel Computers 2002-01-13 Paper Solving algebraic Riccati equations on parallel computers using Newton's method with...

equivalence vs. runtime monitoring 2024-02-23 Paper Complexity through translations for modal logic with recursion 2024-02-08 Paper On first-order runtime enforcement...

semantic model for interacting cyber-physical systems 2024-12-06 Paper Runtime composition of systems of interacting cyber-physical components 2024-06-26...

optimal solution for resource discovery 2015-05-22 Paper A note on the parallel runtime of self-stabilizing graph linearization 2015-02-05 Paper Re-Chord:...

finite element analysis for distributed parallel computation 1995-01-02 Paper Deferred Shifting Schemes for Parallel QR Methods 1993-05-16 Paper Reduction...

commutative semigroups 2002-04-26 Paper On-line scheduling of parallel jobs with runtime restrictions 2002-03-03 Paper An optimal algorithm for constructing...

Publication Date of Publication Type A note on the parallel runtime of self-stabilizing graph linearization 2015-02-05 Paper Time complexity...

Paper Handling expensive optimization with large noise 2017-07-14 Paper Parallel Evolutionary Algorithms Performing Pairwise Comparisons 2017-05-10 Paper...

arbitrary graphs 2023-05-19 Paper Decentralized Asynchronous Crash-resilient Runtime Verification 2023-04-27 Paper How Do Mobile Agents Benefit from Randomness...

2010-05-21 Paper A PARALLEL TRIANGULAR SYLVESTER EQUATION SOLVER BASED ON THE HESSENBERG-SCHUR METHOD∗ 2004-10-06 Paper AN EFFICIENT PARALLEL SYLVESTER EQUATION...

synthesis of modular systems 2022-06-22 Paper Live synthesis 2022-06-22 Paper Runtime enforcement of hyperproperties 2022-06-22 Paper A temporal logic for asynchronous...

distributed computations 2015-03-10 Paper A scheduling framework for large-scale, parallel, and topology-aware applications 2012-03-07 Paper Top-\(k\) vectorial aggregation...