Discrete Geometry for Computer Imagery

DOI10.1007/B135490MaRDI QIDQ5316539zbMATH OpenOpenAlexFDO

Authors Gaëlle Largeteau, Dominique Geniet, Eric Andres

Publication date 13 September 2005

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

Full work available at URL https://doi.org/10.1007/b135490

zbMATH Keywords

multiprocessorsresource sharingReal-timegeometrical modelingoperational validation

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Recommendations

• scientific article; zbMATH DE number 1962789
• Scheduling hard sporadic tasks with regular languages and generating functions.
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Cited in

(4)

• Regular geometrical languages and tiling the plane
• Testing Whether a Binary and Prolongeable Regular Language L Is Geometrical or Not on the Minimal Deterministic Automaton of Pref(L)
• scientific article; zbMATH DE number 1962789 (Why is no real title available?)
• WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model

This page was built for publication: Discrete Geometry for Computer Imagery

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