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

DOI10.1007/978-3-642-32897-8_8zbMATH Open1361.68242OpenAlexW12496682MaRDI QIDQ2915044FDOQ2915044

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

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

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)

Cites Work

• Programming Multi-Agent Systems in AgentSpeak usingJason
• Elements of finite model theory.
• Title not available (Why is that?)
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Title not available (Why is that?)
• A survey of temporal extensions of description logics
• Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis
• Title not available (Why is that?)

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)