Results 291 to 300 of about 45,458 (300)

Model-based Runtime Verification Framework

Electronic Notes in Theoretical Computer Science, 2009
Franz Rammig
exaly  

A taxonomy and catalog of runtime software-fault monitoring tools

IEEE Transactions on Software Engineering, 2004
A Q Gates
exaly  

Adapting Neural Networks at Runtime: Current Trends in At-Runtime Optimizations for Deep Learning

ACM Computing Surveys
Max Sponner, Bernd Waschneck, Akash Kumar   +2 more
exaly  

An overview of the MOP runtime verification framework

International Journal on Software Tools for Technology Transfer, 2011
Dongyun Jin, Grigore Rosu, Rosu Grigore   +2 more
exaly  

Using Architectural Models to Manage and Visualize Runtime Adaptation

Computer, 2009
John C Georgas, André Van Der Hoek
exaly  

Runtime Analysis

openaire   +1 more source

The Runtime of Randomized Local Search on the generalized Needle problem

IEEE Transactions on Evolutionary Computation
Benjamin Doerr, Andrew James Kelley
exaly  

A runtime analysis for communication calculation

2017
Moreton-Fernandez, Ana, Gonzalez-Escribano, Arturo, Llanos, Diego R.   +2 more
openaire   +1 more source

Using Runtime Monitoring to Enhance Offline Analysis. [PDF]

, 2019
Schirmer, Sebastian, Benders, Sebastian
openaire   +1 more source

Runtime Analysis of Recursive Algorithms

2017
openaire   +1 more source