Discrete Geometry for Computer Imagery

DOI10.1007/B135490zbMATH Open1118.68303OpenAlexW4232609270MaRDI QIDQ5316539FDOQ5316539

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

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

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)

Cited In (4)

• Title not available (Why is that?)
• Regular geometrical languages and tiling the plane
• WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model
• Testing Whether a Binary and Prolongeable Regular Language L Is Geometrical or Not on the Minimal Deterministic Automaton of Pref(L)

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)