Titel

Merkliste
1 Ergebnisse

How to compute worst-case execution time by optimization mo..:

, In: Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems,

Henry, Julien ; Asavoae, Mihail ; Monniaux, David. - p. 43-52 , 2014

Link: https://dl.acm.org/doi/10.1145/2597809.2597817

RT 
T1 <cTitle>Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems</cTitle>: T1 <Title>How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-2597817&Exemplar=1&LAN=DE
				
A1 Henry, Julien
A1 Asavoae, Mihail
A1 Monniaux, David
A1 Maïza, Claire
PB ACM
YR 2014
K1 bounded model checking
K1 craig interpolants
K1 optimization modulo theory
K1 wcet
K1 Software and its engineering
K1 Software organization and properties
K1 Extra-functional properties
K1 Software performance
K1 General and reference
K1 Cross-computing tools and techniques
K1 Performance
K1 Social and professional topics
K1 Professional topics
K1 Management of computing and information systems
K1 Software management
K1 Software selection and adaptation
K1 Computer systems organization
K1 Embedded and cyber-physical systems
K1 Real-time systems
SP 43
OP 52
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/2597809.2597817
DO https://dl.acm.org/doi/10.1145/2597809.2597817
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)