Using evolution graphs for describing topology-aware prediction models in large clusters

DOI10.1007/978-3-642-32897-8_8MaRDI QIDQ2915044zbMATH OpenOpenAlexFDO

Authors Matei Popovici

Publication date 21 September 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32897-8_8

zbMATH Keywords

temporal logichigh-performance computingtemporal knowledge representation

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Data structures (68P05) Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 5790394
• Evolving graphs: dynamical models, inverse problems and propagation
• Model checking for event graphs and an event temporal logic
• Algorithms on evolving graphs
• Abstract hierarchical graph transformation

Cites work

• scientific article; zbMATH DE number 1059247 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 2196601 (Why is no real title available?)
• A survey of temporal extensions of description logics
• Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Elements of finite model theory.
• Programming Multi-Agent Systems in AgentSpeak usingJason

Cited in

(1)

• Surprise event detection of the supercomputer execution queues

This page was built for publication: Using evolution graphs for describing topology-aware prediction models in large clusters

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915044)